19/01/03 09:21:43.22 XXarrjli.net
>>126
スレ主にとって、ペアノの公理の
「任意の自然数 a にはその後者 (successor)、
suc(a) が存在する（suc(a) は a + 1 の "意味"）。」
は偽であるらしいｗ
19/01/03 09:21:43.22 XXarrjli.net
>>126
スレ主にとって、ペアノの公理の
「任意の自然数 a にはその後者 (successor)、
suc(a) が存在する（suc(a) は a + 1 の "意味"）。」
は偽であるらしいｗ