1. [DEX '09] METAMATEMATICĂ s. f. Știință care cercetează teoriile și adevărurile matematice din punctul de vedere al logicii matematice. – Din fr. métamathématique.
2. [MDA2] metamatematică sf [At: DEX / Pl: ~ici / E: fr métamathématique] Știință care cercetează teoriile și adevărurile matematice din punctul de vedere al logicii matematice.
3. [DN] METAMATEMATICĂ s.f. Știință avînd ca obiect un sistem formalizat de matematici; teoria demonstrațiilor matematice. [Gen. -cii. / < fr. métamathématique].
4. [MDN '00] METAMATEMATIC, -Ă I. adj. referitor la matematică. II. s. f. știință care studiază teoriile și adevărurile matematice din punctul de vedere al logicii matematice. (< fr. métamathématique)
5. [DOOM 3] metamatematică s. f., g.-d. art. metamatematicii
6. [DOOM 2] metamatematică s. f., g.-d. art. metamatematicii
7. [DE] METAMATEMÁTICĂ (< fr. {i}) s. f. Știință care cercetează teoriile și adevărurile matematice din punctul de vedere al logicii matematice (de pildă în sensul formalismului lui D. Hilbert). În sens restrâns, termenul se folosește ca sinonim al teoriei demonstrațiilor.
Sursă: DEX online sub licență GNU GPL