Well-ordering theorem

GPTKB entity