He7d3r.bot
Atualizando a categoria do livro, com AutoCat (detalhes). utilizando AWB
12h59min
−39
Albmont
Todo número natural é um número ordinal
22h23min
+574
Axiomas de Peano
19h46min
+2 878
Felipe Dachshund
sem resumo de edição
01h45min
+1
Indução finita
18h07min
+926
Unicidade
21h44min
+1 841
Versão inicial (esboço)
14h10min
+901
