Metalogic
Aucun articleMetamathematicsMetatheoremMetatheoryMetavariableMetalinguistic 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
Pas encore d'articles dans cette catégorie — ça arrive.