Aksjomat indukcji jest najbardziej problematycznym z aksjomatów Peano. Sprawia mężczyzna, iż aksjomatyka liczb naturalnych nie jest wyrażona wewnątrz języku pierwszego o tyle o ile, jakkolwiek w środku to (jak wykazał Richard Dedekind) jest płeć słaba kategoryczna, to znaczy każde dwójka modele spełniające te aksjomaty są izomorficzne.pracaUogólnieniem pojęcia liczności zbioru skończonego na wszelkie plon, podobnie jak [...]