Quería que la matemática fuese formulada sobre unas bases sólidas y completamente lógicas.