有理数→実数→複素数という数の体系の他に，有理数→ｐ進数として発展した数体系があります．そこではまず素数ｐをひとつ決めておきます．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　　ａ＝ｐ^n・ｂ　　（ｂはｐで割り切れない）

のとき，ａの絶対値を

　　｜ａ｜p＝ｐ^ｰn

で定めます．たとえば，ｐ＝３のとき，

　　｜１８｜p＝｜２・３^2｜p＝３^ｰ2，｜１９｜p＝１，｜２０｜p＝｜２^2・５｜p＝１，｜２１｜p＝｜３・７｜p＝３^ｰ1

となります．

　ここで定まる絶対値をｐ進付値と呼びますが，ｐ進付値は大きくなると０に近づきます．そのため，ｐのベキが大きくなるようにつけ加えていきます．

　　Ｑp＝｛ａ-nｐ^-n＋ａ-n+1ｐ^-n+1＋・・・＋ａ0＋ａ1ｐ＋・・・｝

　　０≦ａi≦ｎ−１

　ここで不思議なことが起こります．

　　１＋７＋７^2＋７^3＋・・・

は

　　１＋７＋７^2＋７^3＋・・・＋７^n＝（７^n+1−１）／（７−１）

　　７^n+1→０

ですから，

　　１＋７＋７^2＋７^3＋・・・＝−１／６

　　１＋２＋２^2＋２^3＋・・・＝−１

　　Σ（ｐ−１）ｐ^n＝−１

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝