16/06/19 04:51:49.17 7/wN1++F.net
>>856
まあそうなんだけど、for all xと書かれていないために曖昧だ、というあまり面白くない議論が昨日あったみたいですよ。
それに対して不等号が曖昧だという人もいて、議論のレベルは劣化の一途を辿っておるわけです
16/06/19 04:51:49.17 7/wN1++F.net
>>856
まあそうなんだけど、for all xと書かれていないために曖昧だ、というあまり面白くない議論が昨日あったみたいですよ。
それに対して不等号が曖昧だという人もいて、議論のレベルは劣化の一途を辿っておるわけです