METAMATHEMATICS is validvalid

[n]

194,669 of 196,601 in NWL2023·also valid in CSW24

a field of study concerned with the formal structure and properties (as the consistency and completeness of axioms) of mathematical systems [n]

145,340 of 280,887 in CSW24·also valid in NWL2023