Completeness theorem

GPTKB entity