山口さんのところでやたら長いコメントを発見して、誰だ？と、おもったら自分だった。おれってばか．．．

定理が決まれば、全ての可能な命題はおのずと決定される。また、全ての命題の真偽は確定される。そこには、公理系というきわが必ず存在する。サイコロの目は、ばくちだ。将来にむけての投機だ。これは証明もできないし、反証もできない。サイコロの目がおよ…

リーグ vs ボーダー 境界