二進数で自然に表現できるものを、わざわざペアノ算術から自然数の定義を頑張る意味がわからない