Será possível construir uma teoria axiomática coerente para fundamentar os inteiros, racionais e reais sem usar indução?O que isso tem a ver com lógica de primeira e segunda ordem ?
-- Israel Meireles Chrisostomo -- Esta mensagem foi verificada pelo sistema de antiv�rus e acredita-se estar livre de perigo.
