Extensión de naturales

1. 1 Gramática Cómo se extiende el cálculo lambda
2. 2 Las no funciones de la extensión Una cosa es una cosa y otra cosa es otra cosa.