16/05/29 13:39:37.00 bpd6OM4Q.net
>>308
今更だが、>>313の「ヒルベルトキューブ」は「ヒルベルト曲線」だった。
あと、>>316の訂正も不要で、
>非可算集合の中で条件を満たす点の非存在性から矛盾に導けただけで、
>Aが正しいと結論付けることは出来ないようなときがある。
のまま。まあ、無限集合の中では、背理法を使わずに構成的に証明を行うというような立場がある。
無限集合では背理法は使えず、「≠ではない」というような書き方による論理も許されたいとする立場。
まあ、何れにしろ基礎論の人には「a∈A。」のように記号だけでは伝わらず
「a∈Aである。」か「a∈Aではない。」のように、記号の後に「である。」か「ではない。」か
をはっきりさせて書けと主張するような人がいることは確か。その辺りが2チャンの人の書き方と違うんだわな。