Lause 1: Siis on võrdleja taas kogu domeen `` X'', kuna universaalne kvantifitseerimine määratluses sobib vaakumisse. Lause 2: Siis on võrdleja taas kogu domeen `` X'', kuna universaalne kvantifitseerimine määratluses on tühjana tõene. Küsimus: Kas 1. ja 2. lause tähendus on sama? Jah või ei?
Jah, ma tean.