無限公理は無限集合の存在を言ってるだけで、無限公理がないと無限集合が存在しないというわけではないと思うんですけど、有限集合論ではどのようにして無限集合を禁止してるんですか？