Définition de métamathématique | Babel Free

Définitions

Qui concerne, qui appartient à cette théorie des fondements des mathématiques.

Équivalents

Exemples

“Énoncé métamathématique.”

“Une démonstration par l’absurde ne peut prouver⟳ l’existence métamathématique d’un assemblage ou d’une suite d’assemblages, il faut en donner⟳ une loi de construction explicite.”

“Dans cet esprit, un axiome est considéré comme « vrai » s’il conduit à une théorie utile. Bien entendu, une telle définition est proprement métamathématique.”

Niveau CECR