※ 引述《jej (賊一賊)》之銘言：
: 這看起來是小朋友會問的問題
: 但認真想起來
: 對啊 有什麼理論可以證明
: 1的下一個證明是2？
: 例如用統計學
: 正整數1進入正整數2的機率是p
: 證明p的效度99.6
: 但大多數的方程式正整數1都不會是2
: 例如 y=f(x)
: 其中f為任意函數 不為一次方程式
: 這樣根本就不會有正整數1下一個整數為2
: 如果是基於這樣的推論
: 目前的科學 單位的定義是否缺少機率的敘述
: 各位看官懂我在說什麼嗎？
在一般人使用的算術系統中，1的下一個為什麼是2這件事情是不需要證明的，因為他是皮
亞諾公設的自然結果。你去維基百科一下可以知道皮亞諾公設是這樣說的：
1. 1是自然數。
2. 每一個確定的自然數a，都有一個確定的後繼數a'，a'也是自然數（一個數的後繼數就
是緊接在這個數後面的數，例如，1的後繼數是2，2的後繼數是3等等）。
3. 對於每個自然數b、c，b=c若且唯若b的後繼數=c的後繼數。
4. 1不是任何自然數的後繼數。
5. 任意關於自然數的命題，如果證明了它對自然數1是對的，又假定它對自然數n為真時，
可以證明它對n'也真，那麼，命題對所有自然數都真。（這條公理假設了數學歸納法的
正確性）
因為1後面有一個唯一的後繼元素，我們把他叫做2，所以1後面是2這件事是不證自明的。