0242現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
2019/08/06(火) 07:58:09.74ID:/q1/+QCZ集合論でパラドックスが起きることを見いだした人がいるんだ(ラッセルとか)(^^;
で、公理主義にして、しかも、クラスとか一階述語に限定したりで、取り敢ず危機を乗り切ったのが、20世紀前半
21世紀は、しかし一階述語論理限定は窮屈とか、ブールバキはちょっと古いとか、新しい試みがなされています
https://ja.wikipedia.org/wiki/%E4%B8%80%E9%9A%8E%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86
一階述語論理