Poznámka 4

Pokud chce oponent tvrdit, že pouze jeho výrok je výjimkou, vyplývá z toho existence nekonečně mnoha výjimek. Pokud chceme tvrdit, že pouze výrok V1: „Vše je nepravdivé“ je pravdivý, dostáváme okamžitě další pravdivý výrok V2: „Výrok V1 je pravdivý“ a tak dál až do nekonečna. Tuto úvahu použil Bernard Bolzano ke konstrukci modelu přirozených čísel.