Метаматематика

Метаматематика (дәлелдеу теориясы) — формальдық жүйелер мен есептеулердің әртүрлі қасиеттерін (қайшылықсыздық, толықтық және т. б.) зерттейтін теория.

"Метаматематика" атауын математиканы негіздеу бағытына (формализм) байланысты Гильберт енгізген. Соңғы жолдары бұл салада бірқатар маңызды нәтижелерге қол жетті (формальдық арифметиканың толық еместігі туралы және осы жүйеде формальданған әдістер арқылы жүйенің қайшылықсыздығын дәлелдеудің мүмкін еместігі туралы Гёдель теоремасы және т. б.).