>>64
誰もおまえのウンチクなんて聞いてない。
おまえは
>∀n(n+0=n)
を真だと言った。その根拠を聞いている。
そして1から始まるペアノ算術には0という記号が無いから
>∀n(n+0=n)
という式も無い。無い式が真とはどういう意味かを聞いている。
日本語分からないなら小学校からやり直せば？