is a theorem that is often referenced in discussions about

1 triples
GPTKB property

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