She wanted to go away to some place where there were mathematicians. Berkeley certainly had mathematicians, including a number theorist called Raphael Robinson. In their frequent walks around the campus they found they had more than just a passion for mathematics.
Y luego, usando métodos lógicos, y pasos muy cuidadosos, desde estos axiomas pruebas teoremas, y de esos teoremas pruebas más teoremas y así sucesivamente.