Első logikus: A Mikulás létezik...

Első logikus: A Mikulás létezik, ha nem tévedek.Második logikus: Ha nem téved.Első logikus: Tehát állításom igaz.Második logikus: Természetesen!Első logikus: Akkor hát nem tévedtem, és Ön elismerte, hogy ha nem tévedek, akkor a Mikulás létezik. Tehát a Mikulás létezik.(Raymond Smullyan: Mi a cime ennek a konyvnek?)

Első logikus: A Mikulás létezik...
Első logikus: A Mikulás létezik, ha nem tévedek.
Második logikus: Ha nem téved.
Első logikus: Tehát állításom igaz.
Második logikus: Természetesen!
Első logikus: Akkor hát nem tévedtem, és Ön elismerte, hogy ha nem tévedek, akkor a Mikulás létezik. Tehát a Mikulás létezik.
(Raymond Smullyan: Mi a cime ennek a konyvnek?)