Gödel nem-teljességi tétele Kind - ez természetes kifejeződése: Nézze meg, mit a „fajta” más szótárak: integer - ▲ egész ↑ kifejező érvényes, a szám pozitív egész szám