Metalogic
Ningún artículoMetamathematicsMetatheoremMetatheoryMetavariableMetalinguistic 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
Todavía no hay artículos en esta categoría — están en camino.