Loogika aine ja ajalugu
sellest G-st tuletada ei saa: nende jaoks tuleb hulk uusi tõeseid baasväiteid S lihtsalt juurde võtta. Seda saab muidugi
teha: võtame uue baasväidete hulga S lisaks, ning nüüd saame vajaliku teoreemi tuletada. Paraku aga leidub seejärel
ikkagi aritmeetikateoreeme, mille jaoks ei piisa ka uuest täiendatud baasväidete hulgast. Jne jne: baasväidete hulk ei saa
kunagi kõigi õigete aritmeetikateoreemide tuletamiseks piisavalt suureks.
Kui juba aritmeetikat ei saa lõpliku hulga baasväidete abil aksiomatiseerida, siis loomulikult ei saa seda teha ka
enamike teiste matemaatikaharude jaoks. Samuti ei saa aksiomatiseerida paljusid muid, matemaatikast täiesti erinevaid
mõtlemisvaldkondi, mis tegelevad lõpmatute struktuuridega.
See ei tähenda samas, et loogikavahendid oleksid aritmeetika või muude keerulisemate valdkondade juures kasutud:
annaabi.ee 
