暇つぶし2chat MATH

- 暇つぶし2ch133:現代数学の系譜雑談古典ガロア理論も読む
18/12/01 11:08:36.60 7lZuHhq/.net
>>112
私が選択公理を否定しているのではなく
時枝解法を、芽茎層の関数論の局所同値類に埋め込めば、
時枝解法は、既存の関数論の結論とは合わないってことだ
（既存の関数論もZFCベースですよ）