در بیان اصول موضوعی نظریه مجموعهها یک اصل داریم به نام «اصل موضوع تصریح» که مبنای اثبات وجود مجموعهی تهی است و اینگونه بیان میشه که:
گیریم A مجموعه و P(x) یک گزاره نما باشد، آنگاه زیر مجموعهای از A، نظیر B که دقیقا شامل عناصری از A که در گزاره نمای P(x)صدق میکنند وجود دارد.
حالا اون مجموعه A رو قرار بدین مجموعه اعداد طبیعی و اون گزاره نما P(x) رو قرار بدین، کوچکتر از -۷ و بزرگتر از ۰ بودن.