18/02/14 01:16:14.39 sLMrM9T3.net
[続き]
上記の証明はよく知られた証明であり、「正しい証明である」ことに注意せよ。
一方で、c^c すなわち √2^√2 は実際には「無理数」であることが
証明されている(簡単には証明できないらしいが)。となると、上記の証明における
(1) c^c は有理数である
のケースは、仮定が偽ということになる。従って、お前の屁理屈によれば、そもそも
＞(1) c^c は有理数である (2) c^c は無理数である
という場合分け自体が不可能ということになる。その一方で、上記の証明は
よく知られた証明であり、「正しい証明」なのである。たとえば、
URLﾘﾝｸ(ja.wikipedia.org)排中律
に全く同じ証明が載っている。にも関わらず、スレ主の屁理屈によれば、
そもそも (1),(2) による場合分け自体が不可能となってしまい、
上記の証明は「間違っている」ことになってしまう。
これは一体どういうことだね？