Eksempelet med en minste positiv brøk er et tilfellet av den første formaliseringen: = «Det eksisterer en minste positiv brøk » = «Tallet er den minste positive brøken» → → « er en positiv brøk» → « er en positiv brøk og mindre enn » → ¬ impliserer altså både og ¬ og må dermed være usann.