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
1A4N
C0969
DOCID
11309690
D7NID
226163
Last update
Dec 2, 2024