>>326
>>仮に、百歩ゆずって、基礎の公理に反するとしても、基礎の公理を使わない集合論もあるから、
>基礎の公理を使わない集合論とやらの例示頼むわ。

ほいよ、下記
”New Foundations has a universal set, so it is a non-well-founded set theory.[2]
That is to say, it is an axiomatic set theory that allows infinite descending chains of membership such as … xn ∈ xn-1 ∈ … ∈ x2 ∈ x1.”

https://en.wikipedia.org/wiki/New_Foundations
New Foundations
New Foundations has a universal set, so it is a non-well-founded set theory.[2] That is to say, it is an axiomatic set theory that allows infinite descending chains of membership such as … xn ∈ xn-1 ∈ … ∈ x2 ∈ x1. It avoids Russell's paradox by permitting only stratifiable formulas to be defined using the axiom schema of comprehension. For instance x ∈ y is a stratifiable formula, but x ∈ x is not.

Contents
8 Models of NFU
8.1 Self-sufficiency of mathematical foundations in NFU
9 Strong axioms of infinity

https://ja.wikipedia.org/wiki/%E6%96%B0%E5%9F%BA%E7%A4%8E%E9%9B%86%E5%90%88%E8%AB%96
新基礎集合論
数理論理学において新基礎集合論 (しんきそしゅうごうろん、英: New Foundations) またはNF集合論とは、プリンキピア・マテマティカの型理論を単純化したものとしてウィラード・ヴァン・オーマン・クワイン[1]によって考案された、公理的集合論の一種である。この名称は、クワインが1937年における記事『数理論理学の新基礎』において初めて提唱したことに由来する。現在広く受け入れられているのはクワインが提唱したもともとの体系NFを少し修正したNFUと呼ばれる体系[2]である。

つづく