Метатеорема[өңдеу | қайнарын өңдеу]

Метатеорема (грек. meta – кейін) – белгілі бір метатеория шеңберінде зерттелетін формальды аксиоматикалық теория жөніндегі ұйғарым.
Метатеорема теорияның метатеориясы көмегімен дәлелденеді. “Метатеорема” термині көбінесе формальды теорияның объектілері жайындағы теореманы талдау кезінде қолданылады. Егер қайсыбір логикикалық-математикалық есептеуде vетатеорема өзекті шексіздіктер абстракциясын ешбір пайдаланбайтын финиттік амалдар арқылы дәлелденсе, ол метаматематикаға жатады. Егер метатеорема арқылы пайымдалатын ұғымның немесе оны дәлелдеу құралының сипатына ешқандай финиттік немесе құрылымдық шек қойылмаса, ондай метатеорема предикаттардың теориялық-көптік логикасына жатады.
^[1]