21/12/01 07:16:08.50 TRAaUVeQ.net
>>506
いいえ、矛盾はそれしか無いけども、どういう構造やその論理式を持ってきて様々な言い換えについて考えて…
とかやったらそれなりに理論や証明の内容や全体を把握しなきゃ見えないことも多いでしょうってだけの話
一文で言えばエッシャーはアートなんだからIUTも数学だというならご自由にと
21/12/01 07:16:08.50 TRAaUVeQ.net
>>506
いいえ、矛盾はそれしか無いけども、どういう構造やその論理式を持ってきて様々な言い換えについて考えて…
とかやったらそれなりに理論や証明の内容や全体を把握しなきゃ見えないことも多いでしょうってだけの話
一文で言えばエッシャーはアートなんだからIUTも数学だというならご自由にと