Heer

1,007
reputation

the birth of the world is equivalent to Zorn's lemma