19/01/14 09:46:13.99 U+rcrUOh.net
>>51
>有限列には最終第m項が存在します。ペアノの公理を満たすなら
>2. 任意の自然数 a にはその後者 (successor)、suc(a) が存在する
>（suc(a) は a + 1 の "意味"）。
>の要件により、第m+1項も存在しなくてはならず、
>第m項が最終項との前提と矛盾します。
>いくら工学バカでもこれは酷い。
スレ主はサイコパスだから見え透いた嘘を平気でつけます
変質者、それがスレ主の正体ｗ
19/01/14 09:46:13.99 U+rcrUOh.net
>>51
>有限列には最終第m項が存在します。ペアノの公理を満たすなら
>2. 任意の自然数 a にはその後者 (successor)、suc(a) が存在する
>（suc(a) は a + 1 の "意味"）。
>の要件により、第m+1項も存在しなくてはならず、
>第m項が最終項との前提と矛盾します。
>いくら工学バカでもこれは酷い。
スレ主はサイコパスだから見え透いた嘘を平気でつけます
変質者、それがスレ主の正体ｗ