{ 2^-n(nは自然数) }, 1, ÷2 )
この組がペアノシステムであるっていうのならokなの?