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 truth+ 8 de plus
Pas encore de questions dans cette catégorie — ça arrive.