0597132人目の素数さん垢版 | 大砲2018/05/13(日) 17:50:25.66ID:E7bnfRCz { 2^-n(nは自然数) }, 1, ÷2 ) この組がペアノシステムであるっていうのならokなの?