Sætning 1: Så er udligningsfaktoren igen hele domænet `` X'', da den universelle kvantificering i definitionen er vakuum-egnet. Sætning 2: Så er ligestillingen igen hele domænet `` X'', da den sande kvantificering i definitionen er universel. Spørgsmål: Har sætning 1 og sætning 2 samme betydning? - Ja eller nej?
- Nej, det gør jeg ikke.