En lugar de ello estaba elaborando nuevos sistemas de definiciones matemáticas que serían usados por futuros matemáticos.