well-ordering theorem

GPTKB entity