is a theorem that has been foundational for

1 triples
GPTKB property

Random triples
Subject Object
gptkb:Hilbert's_completeness_theorem the study of logical paradoxes