 choice, axiom of |  Gödel, Kurt |  Gödel, Kurt: incompleteness theorems |  set theory |  set theory: alternative axiomatic theories |  set theory: continuum hypothesis |  set theory: large cardinals and determinacy 