数学上の論理的矛盾には次のような種類のものがあって、その具体的みたいなものを書いたらこうである。
公理的矛盾: そもそも世界と分野が違うので意味が分からない。 これを利用した証明方法を、 背理法という。
弱い論理的矛盾: 単に計算などを間違えていること。間違えているから理解できない。
強い論理的矛盾: 補題を設定していないか技術を用いていないから論理がつながっていない箇所があること。話になっていないから理解できない。
最終的な強い論理的矛盾は、技術的に出すべきものを出していないからものが作れていないことである。またはそもそも、ものになっていないこと自体。
警察がクズなのは簡単で、実際に、女性や子供に対して、 びっくりするように出て来るものが魅力的な証明ですよ、と口で説明すればいいのに、口で説明することはなく、企業秘密を
ばらすときには、田辺のように、本当に出てきて脅かす。何がしたいのか?