Lause 1: Sitten tasapainottaja on jälleen koko alue `` X'', koska määritelmän universaali määritelmä on tyhjästi totta. Lause 2: Sitten tasapainottaja on jälleen koko alue `` X'', koska universaali kvantifiointi on tyhjiö-sopiva määritelmässä. Kysymys: Ilmaisevatko lause 1 ja lause 2 samaa merkitystä? - Kyllä vai ei?
- Ei, ei.