23 de maio de 2022
Marcos Antônio Nunes de Moura
Foram revertidas as edições de 2804:14D:5483:8A5F:FC43:DEA:9F6B:362 (disc) para a última revisão de Marcos Antônio Nunes de Moura
m2804:14d:5483:8a5f:fc43:dea:9f6b:362
→Lei de corte para adição
22 de setembro de 2019
Marcos Antônio Nunes de Moura
Foram revertidas as edições de 189.6.20.202 (disc) para a última revisão de 179.192.172.163
m−11
189.6.20.202
→Axioma da Indução: solalals, mlmKzmkj,kzkaz,l
+11
11 de janeiro de 2018
29 de abril de 2017
Thiago Marcel
→Definição de adição
−24
Thiago Marcel
→Definição de adição
+9
Thiago Marcel
→o sucessor do k-ésimo sucessor
+15
Thiago Marcel
→soma dos índices da sucessão
−817
Thiago Marcel
→p-sucessor
+1 026
25 de abril de 2017
24 de abril de 2017
30 de março de 2017
Thiago Marcel
→O sucessor de uma adição n + p
+124
Thiago Marcel
→O sucessor de uma adição n + p
+80
Thiago Marcel
→p-sucessor
+41
29 de março de 2017
2 de fevereiro de 2017
Thiago Marcel
→Recíproca da Lei de corte para adição
−18
Thiago Marcel
→Lei de corte para adição
−104
Thiago Marcel
→Lei de corte para adição
+75
Thiago Marcel
→Recíproca da Lei de corte para adição
+97
Thiago Marcel
→p-sucessor
+8
Thiago Marcel
→Lei de corte para adição
+666
Thiago Marcel
→sucessor de um número natural
+715
31 de janeiro de 2017
Thiago Marcel
→Comutatividade da Multiplicação
+1 155
Thiago Marcel
→outras propriedades
−4 688
Thiago Marcel
→Tricotomia
+94
Thiago Marcel
→Tricotomia
+66
Thiago Marcel
→Tricotomia
+37
Thiago Marcel
→Tricotomia
+33
Thiago Marcel
→Tricotomia
+11
Thiago Marcel
→Tricotomia
+599
Thiago Marcel
→Tricotomia
+611
Thiago Marcel
→Tricotomia
+189
Thiago Marcel
→Tricotomia
+184
30 de janeiro de 2017
Thiago Marcel
→Tricotomia
+272
Thiago Marcel
→Transitividade da relação de ordem
+424
Thiago Marcel
→Tricotomia
Thiago Marcel
→Tricotomia
+151
Thiago Marcel
→Tricotomia
+576
Thiago Marcel
→Ordem entre dois números naturais
25 de janeiro de 2017
Thiago Marcel
→Transitividade da relação de ordem
+846
Thiago Marcel
→Lei de corte para adição
+533
Thiago Marcel
→Comutatividade da Multiplicação
+262
Thiago Marcel
→Comutatividade da Multiplicação
+282
Thiago Marcel
→Comuto de 1 e m na multiplicação
+263
Thiago Marcel
→Definição: multiplicação m por (n+1)
+4
Thiago Marcel
→Axioma: Comuto de m e 1
+12
Thiago Marcel
→Comuto de 1 e m na multiplicação
−1
Thiago Marcel
→Comutatividade da Multiplicação
+570
Thiago Marcel
→Distributividade de adição
+127