1. fejezet 1.1. A valós számok és a valós számegyenes 1. 0 9 vagy 1. 1; 0 2; 0 3;
0 8; 0 3. (a) nem feltétlenül igaz; (b) igaz; (c) igaz; (d) igaz; (e) igaz; (f) igaz; (g)
igaz; (h) igaz. 2 5. x2 7. x5 4 9. x 11. x 1 6 3 x x x x 13. ¦3 19. 2x2 –2 2 x 21. 2t4 –2
4 ...
Hasonlóan a λη-kalkulus (a 2.5.1. és 2.6.3. axiómákkal), a λ+ext-kalkulus (a 2.5.1
. és 2.6.5. axiómákkal) és a konstansos típusnélküli λ-kalkulus (az 1.1.1. és 4.7.3.
szintaktikai szabályokkal) mindegyike formális (egyenl ̋oségi) elmélet. Ebben ...
