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 truthTarskis theory of truthKripkes theory of truthTheories of truthTruth value semanticsSemantic consequenceSyntactic consequenceEntailmentVacuous truth
No questions in this category yet — they're coming.