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