I will thanks if someone knows some infinite proof in some finite formal sistem, maybe in set theory or number theory. Maybe there is someone that is well know as an example of this kind.. Thanks. -- Franklin Vera Pacheco 45 #10029 e/100 y 104 Marianao, C Habana, Cuba. e-mail:franklin at ghost.matcom.uh.cu tel:2606043