Veblen theorem

GPTKB entity