「集合論」の版間の差分

これまで「有限」という言葉をナイーブに未定義のままで使ってきたが、ここできちんと定義しておく。

 

 

これまでナイーブに想像していた概念と一致することを確認してほしい。形式的な話だが、特に空集合が有限集合であることも明言しておく。有限集合でない集合のことを無限集合という。