U+2042 on Nostr: ここまで来ると、「IUT ...

ここまで来ると、「IUT は間違っているかもしれない」という疑念は、難解さや拗れた社会的状況から目を背けるための大義名分になってしまっている気がしていて、最近 RIMS で真面目に議論されているらしい、Lean などによる IUT の形式化が実現すれば、その大義名分を失わせる役割を担うと思う