Macchina di Peano al rovescio? Ovvero, invece che dei tre assiomi per generare ricorsivamente i numeri, qui c'è la generazione ricorsiva delle frazioni? Sarebbe come dire che Successore(1/2)=1/3; Successore( Successore( 1/2))=1/4; abbreviando un pò: S(S(S(1/2)))=1/5; ecc.
più in generale la ricorsività sarebbe:
per ogni x, y appartenente a N: 1/(x+Succ(y)) =1/(Succ( x+y))
Intendevi questo?