>>221
あれは自然数の公理のうちに入ってる