>>82
記号論理学や公理的集合論かな
記述主義が数学をどう置くかなんか誰も気にしてないんでそれはどうでもいいです