19/07/08 21:40:35.93 NZkoeo7j.net
ここはスルーなのか・・・
> しかし、そもそも、>316は全然証明になっていない。
そりゃ、美しい定理の見事の証明を見せられたら、
「高々存在する」が目につくだろうけど、
>316 を見ればそんな些細なことはどうでも良くなるわ・・・。
19/07/08 21:40:35.93 NZkoeo7j.net
ここはスルーなのか・・・
> しかし、そもそも、>316は全然証明になっていない。
そりゃ、美しい定理の見事の証明を見せられたら、
「高々存在する」が目につくだろうけど、
>316 を見ればそんな些細なことはどうでも良くなるわ・・・。