axiom of regularity

uncountable

Japanese Meaning

（集合論）公理の一つで、任意の非空集合には、その集合と交わりを持たない要素が存在するという命題と同値な公理。

When studying set theory, I found that the axiom of regularity rules out infinitely descending membership chains.

集合論を学んでいると、正則性公理が無限に降下する包含の連鎖を排除することが分かった。

Sense（1）