いっても何も考えていないっつーことは何も駆けないということと同義なわけで、それゆえ人間は考える生き物だという仮説が立っているわけでもあるわけだが、だからといって考えない生き物が人間でないという仮設と、考える生き物が人間であることは不可逆ではなりえず、必要十分条件を満たすほどの過程の検証にはなりはしない。不可能の証明が難しいことのように結局のところ実在の証明ほど簡単なものはなく、しかしそれゆえその証明が難しいともいえる。複数論理の多重展開から難解で奇怪な文章を元にして反証を求めたところでその責務は皆無であり、以上のことから人間と思考との関係は論理的に考えて否定せざるを得ないことを論証とした反証としての確認に仮定される。ここで人間は考えない生き物であると仮定した場合を背理法というがこの欠点はその文章の途中で再び背理法を求めなけらばならない状態に陥り背理の背理は正攻理論以外の何者でもなくだからこそその反証が求められないという矛盾螺旋に陥ることになる。これを防ぐために一般的な確証を論拠とする証明を用いることでその反証を確固たるものにすることが可能である。俺はこういうほうが向いてるのかもしれないな。それにしてもニコニコは全てを忘れさせてくれる事に関してはエキスパートだな。何とかなった気がする。今日のカラオケで復活しよう。