阿呆爺へ問題
自然数の定義を書け