リンク Wikipedia 公理的集合論 公理的集合論(こうりてきしゅうごうろん、axiomatic set theory)とは、公理化された集合論のことである。 現在一般的に使われている集合の公理系は以下のZF公理系、またはZF公理系に下で述べる選択公理(Axiom of Choice)を加えた ZFC公理系(Zermelo-Fraenkel set-theory with the axiom of Choice)である。選択公理を仮定しない体系も盛んに研究されている。 またZC,ZでそれぞれZFC,ZFから置換公理を除いたもの、Z-、ZF-、 34 users 3 睦月 @gbhatu227 よく訓練された人でないと数学書読んでも楽しくないので、あっ!解けた!という快感を味わうために中学入試算数から始めてみるとお手軽かも、あれ大人でもぱっと解けないですよ