metamatematik
meʹtamatematik, ursprungligen benämning på den bevisteori som med finita medel skulle förverkliga Hilberts program, numera ofta benämning på logiskt studium av formella matematiska system utan begränsning till finita medel.
Källangivelse
Vill du komma åt hela artikeln?
Objektiv och pålitlig kunskap.
Prova det, du kommer att gilla det!
Marknadsledare i Sverige.