>>896 (3)は外すべき。
数学としては価値無い
という意見に対し、
数学としてとはどういう意味か
となるのは自然なこと。
基礎論と関係ない話はダメだが