2018-12-24

サンタクロースっているのでしょうか？論理学的に見ると、サンタクロースがいないことの証明は大変に困難です。論理学には排中律という仕組みがあり、ある命題（正しいか正しくないかを判断することが出来ること）は必ず真か偽のどちらかになる、とされていま...