20/04/26 15:46:38.02 lYMvbA3z.net
>>429
ロビンソン算術の公理系知らんのか？ｗ
URLﾘﾝｸ(ja.wikipedia.org)
>>430
じゃ
(((((((((s0*ss0)*sss0)*ssss0)*sssss0)*ssssss0)*sssssss0)*ssssssss0)*sssssssss0)*ssssssssss0)
の値を公理系に従って計算してsと0だけで表記してみろｗ
20/04/26 15:46:38.02 lYMvbA3z.net
>>429
ロビンソン算術の公理系知らんのか？ｗ
URLﾘﾝｸ(ja.wikipedia.org)
>>430
じゃ
(((((((((s0*ss0)*sss0)*ssss0)*sssss0)*ssssss0)*sssssss0)*ssssssss0)*sssssssss0)*ssssssssss0)
の値を公理系に従って計算してsと0だけで表記してみろｗ