べき乗を含んだペアノ体系