Loogika aine ja ajalugu
väidet A ja sellesama väite eitust ØA.
Selle nn. Hilberti programmi täitmise korral oleksid probleemid matemaatika aluste õigsuse osas mõistagi lahendatud.
Hilberti printsiibiks matemaatika aksiomatiseerimisel oli nn. finitism: vastuloude puudumise tõestamise võimalikkus
eeldas konstrueeritava aksiomaatika lõplikku, finiitset iseloomu, st sümbolite abil ei lubatud tähistada lõpmatuid
objekte. Lõpmatus oli keelatud abstraktsioon: kõik tuletamissammud, kõik tõestused ja aksioomid pidid olema lõplikud.
Vastasel korral ei oleks võimalik teooria mittevastuolulisust usaldusväärselt analüüsida.
1920. aastal alustas Hilbert koos silmapaistvatest loogikutest koosneva rahvusvahelise kolleegide grupiga (Wilhelm
Ackermann, Paul Bernays, John von Neumann ja Jacques Herbrand) nimetatud metamatemaatilise programmi täitmist.
Algust tehti aritmeetika aksiomatiseerimisega Peano postulaatide baasil. Aastatel 1924-1925 tõestas Ackermann, et
annaabi.ee 
