>>923
無限公理で検索しろよw

「空集合を要素とし、任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する」

ほら、即座に見つかったw

上記の集合をωとする

{}はωの要素
{}∪{{}}={{}}はωの要素
{{}}∪{{{}}}={{}、{{}}}はωの要素
・・・
以下いくらでも続けられる

だからωは無限集合

ωが集合として存在するという公理が無限公理