2006-12-04から1日間の記事一覧

集合論の公理系(その 7)

ここまでは、与えられた集合に対して、新たな集合を作ることが出来る、という公理が中心で、具体的な集合の存在には言及していませんでした。しかし、今度の公理は、具体的な集合の存在に言及している、という意味では、他の公理とは大きく性質が異なります…