http://d.hatena.ne.jp/mind/20060331
注) ω矛盾とは次が2つとも成立つこと。ω整合とはそうでないこと。
・ x1, x2, …, xn，……, xωは どれもpでない。
・「凡ての nについて xnはpである」ということはない。(xnがpであるようなnが存在する)
注) (単純)矛盾は、pであるとpでないが同時に成立つこと。(単純)整合とはそうでないこと。
注) 単純矛盾ならばω矛盾。ω整合ならば単純整合。
1.
日頃から、気に入らない言動をする先生に、学生は言った。
「先生、質問を投げかけてよろしいでしょうか」
「ああ、きちんとした文章を、きちんとタイプし、きちんと読めるようにしたものならな」
学生は、きちんとプリントアウトし、きちんと製本した５００ページの文章をおもいきり先生に投げつけた。
2.
前略。
「先生、質問を投げかけてよろしいでしょうか」
「ああ、今度は１６ページ以内でな」
学生は、きちんとプリントアウトし、きちんと製本した１６ページの文章を、１００人分ダンボールに入れて、おもいきり先生に投げつけた。
