Metamathematics
- Proof theory
Description
Metatheories of mathematical theories particularly concerned with proofs of consistency, expressed in calculi (formal systems). Closely related to metalogic.
Metadata
Database
Integrative concepts
Content quality
Yet to rate
Language
English
Last update
Dec 2, 2024