Stelling 1: Dan is die gelykmaker weer die hele domein `` X '', aangesien die universele kwantifikasie in die definisie vacuously waar is. Sin 2: Dan is die gelykmaker weer die hele domein `` X '', aangesien die universele kwantifikasie in die definisie vakuum geskik is. Vraag: Het sin 1 en sin 2 dieselfde betekenis? Ja of Nee?
Nee, nie