Existential Number Theory There are two worlds in mathematics.