>>229
無限公理はそのまま自然数の存在公理やで
自然数の定義は公理で与えられてるんやで