soundness theorem

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo gptkb:logic
gptkb:first-order_logic
gptkbp:contrastsWith completeness theorem
gptkbp:guarantees no false theorems are provable
https://www.w3.org/2000/01/rdf-schema#label soundness theorem
gptkbp:implies provability implies semantic truth
gptkbp:provenBy gptkb:Kurt_Gödel
gptkbp:publishedIn 1930
gptkbp:relatedTo completeness theorem
gptkbp:requires formal proof system
semantic interpretation
gptkbp:state if a formula is provable, then it is valid
gptkbp:usedIn gptkb:logic
model theory
proof theory
gptkbp:bfsParent gptkb:first-order_logic
gptkbp:bfsLayer 5