Mahlo cardinal hypothesis

GPTKB entity