Ahman, Danel, juhendajaReimaa, Ülo, juhendajaMadisson, AidenTartu Ülikool. Matemaatika ja statistika instituutTartu Ülikool. Loodus- ja täppisteaduste valdkond2025-07-212025-07-212025https://hdl.handle.net/10062/112247Antud bakalaureusetöös näidatakse, et Peano aritmeetika on korrektne. Selleks taandakse Peano aritmeetika korrektsuse näitamine Heytingi aritmeetika korrektsusele. Omakorda tehakse kindlaks, et igale Heytingi aritmeetikas tõestatavale valemile vastav Dialektika interpretatsiooni kvantoriteta valem on tõestatav Gödeli süsteemis T.etAttribution-NonCommercial-NoDerivs 3.0 Estoniahttp://creativecommons.org/licenses/by-nc-nd/3.0/ee/Peano aritmeetikaHeytingi aritmeetikakorrektsusinstitutsioonilik loogikalambda-arvutusPeano arithmeticHeyting arithmeticconsistencyintuitionistic logiclambda calculusbakalaureusetöödvõrguväljaandedThesis