metamatematyka

metamatematyka

[gr. metá ‘ponad’, mathēmatikḗ < máthēma ‘nauka’, ‘umiejętność’],

nauka poświęcona badaniu własności formalnych teorii mat. metodami logiki mat. oraz matematycznymi (badane są m.in. takie własności jak: niesprzeczność, rozstrzygalność, zupełność, kategoryczność oraz interpretacje i modele jednej teorii w drugiej);

m. jako nauka z pogranicza współcz. logiki i matematyki wchodzi w skład badań nad podstawami matematyki, które zaczęły się na pocz. XX w.; nazwa m. powstała ok. 1930.