14/10/16 00:40:06.63 txhx6QUq.net
>>510
四則演算の意味は四則演算w
ペアノの公理に出てくるプリミティブを定義しないといけないから、
succは>>513、lessは∈に帰着させる。
たぶんlessを先に考えたのだろう。
14/10/16 00:40:06.63 txhx6QUq.net
>>510
四則演算の意味は四則演算w
ペアノの公理に出てくるプリミティブを定義しないといけないから、
succは>>513、lessは∈に帰着させる。
たぶんlessを先に考えたのだろう。