>>411
>初心者ですが
>IUT使えば1+1=11を証明できる？

ご苦労様です
通常の10進数学では ”1+1=11”は
不成立だが
2進数学では ”1+1=10”は、成立する

つまり、通常の数学でない宇宙（基本となる公理・定義を、通常の数学と異なるルールにした議論）
を考えると、通常の数学と異なる”1+1”の表現と解釈ができるってことだね

だが、IUTでも”1+1=11”にはならないかもよ　；ｐ）
（”11”の方を どう定義するかにもよるが）