20/03/17 06:31:21.10 P3WL2Yge.net
>>697
自然数0の存在性、
0より大きい自然数は存在しない。
0より1つ大きい自然数は存在する。
これら3つの公理はすべてペアノの公理に含まれる。
20/03/17 06:31:21.10 P3WL2Yge.net
>>697
自然数0の存在性、
0より大きい自然数は存在しない。
0より1つ大きい自然数は存在する。
これら3つの公理はすべてペアノの公理に含まれる。
20/03/17 06:31:21.10 P3WL2Yge.net
>>697
自然数0の存在性、
0より大きい自然数は存在しない。
0より1つ大きい自然数は存在する。
これら3つの公理はすべてペアノの公理に含まれる。