is a theorem that is foundational for understanding

1 triples
GPTKB property

Random triples
Subject Object
gptkb:Hilbert's_completeness_theorem the nature of mathematical truth