おっす

ZFCでは任意の順序数α、βに対して、α∈β∨α＝β∨β∈αが成り立つのは常識やぞ
一方、無限公理により無限集合が存在する。これより宰相の無限順序数ωを定義できる。
順序数α∈ωなるものを自然数と呼ぶ。

以上より、3∈17