>>458
直観主義なんて異端な主義持ちだされてもな。高校数学は直観主義だからと言ってしまうのなら何も言うことはないが。
直観主義じゃなくてもこの定義で通用する、は嘘。