圏論好き集まれ
■ このスレッドは過去ログ倉庫に格納されています
0476132人目の素数さん
2012/02/13(月) 23:14:02.35集合論が広まったのは、comprehension principle があったから
この comprehension principle がルーズで使い勝手が良すぎたから縦横無尽に駆使でき、いろいろな分野に応用できた
しかし、comprehension principle 自身からラッセルのパラドックスが生まれ、素朴集合論の面倒臭い部分が暴露されてしまった
それを克服する公理集合論やNBGは、大して広まっていない
圏論はそもそもが公理こそが本質なので、公理集合論よりは広まっている
■ このスレッドは過去ログ倉庫に格納されています