Nagyon érdekes, hogy míg ZFC-modell (és NBG is) sok létezik, hogy minden halmaz benne pointwise definable, Peano-modell már korántsem, csak a sztenderd.

Ez a mondat véletlenül maradt benne. Úgy gondoltam, hogy ez a Tennenbaum-tétel következménye, de nem.

Az viszont biztos, hogy ha Peano-modell pointwise definable, és nemsztenderd, akkor általában nem fogjuk tudni, hogy két definíció közül melyik definiál nagyobb számot.