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 de questions dans cette catégorie — ça arrive.