CHRAMOSTAK: Člověk má nějakou jasnou intuici přirozených čísel. Takže sice existují "nestandardní" modely aritmetiky, kde jsou prvky větší než libovolně velké přirozené číslo, tj. věta "existuje číslo, které je větší než všechna čísla, která vznikla konečnou aplikací funkce následník na nulu" je nevyvratitelná, přesto víme, že ve standardním modelu žádné takové číslo není, takže ji bereme jako nepravdivou.
Problém ale je, co to je třeba standardní model teorie množin.