Metalogic
No articlesMetamathematicsMetatheoremMetatheoryMetavariableMetalinguistic variableMetasyntactic variableCompleteness logicDecidability logicValidity logicTautology logicBarwise compactness theoremLowenheimskolem theoremLowenheim numberGodels completeness theoremOriginal proof of godels completeness theoremLindstroms theoremCraig interpolationCointerpretabilityEquiconsistencyRobinsons joint consistency theoremLindenbaums lemmaTarskis undefinability theoremTruth predicateSemantic theory of truth+ 8 more
No articles in this category yet — they're coming.