>>187 追加

参考にメモ貼る

キーワード検索”集合論 - Set theory - Wikipedia nipponkaigi.net”より
下記の”nipponkaigi.net”の内容は、英文 Wikipediaからの訳のように見える
（日本語のWikipediaより詳しいので、参考になるね（訳がおかしいところも多いが））

https://nipponkaigi.net/wiki/Set_theory
集合論 - Set theoryWikipedia site:nipponkaigi.net

NFUではなくNFが、選択公理が成り立たない集合を生成するためです。

CST、CZF、IZFなどの構成的集合論のシステムは、古典論理ではなく直観主義に集合論を埋め込みます。Wikipedia site:nipponkaigi.net

https://nipponkaigi.net/wiki/General_set_theory
一般集合論 - General set theoryWikipedia site:nipponkaigi.net
一般集合論（GST ）は、公理的集合論Zの断片に対するGeorge Boolos （1998）の名前です。 GSTは、無限集合を必要としないすべての数学に十分であり、

（根拠→基礎（基礎公理）の誤訳でしょう）
https://webcache.googleusercontent.com/search?q=cache:TjpSBbKm74kJ:https://nipponkaigi.net/wiki/Non-well-founded_set+&cd=3&hl=ja&ct=clnk&gl=jp
Google に保存されている https://nipponkaigi.net/wiki/Non-well-founded_set のキャッシュですWikipedia site:nipponkaigi.net
根拠のない集合論 - Non-well-founded set theoryWikipedia site:nipponkaigi.net
根拠のない集合論は公理的集合論<103の変形です>集合がそれ自体の要素であり、さもなければ十分な根拠の規則に違反することを可能にする。十分に根拠のない集合論では、ZFC の基礎公理はその否定を意味する公理に置き換えられます。Wikipedia site:nipponkaigi.net