Professor of Mathematics, Princeton University. Mathematical logic, foundations of mathematics, bou...