Teorem. Haqiqiy sonlarning arifmetikasi mos bo'lsa, A axiomlar sistemasi mos keladi.
1 Qarang: P.S. Novikov, Matematik mantiq elementlari. Moskva, Nauka Publ., 1973.
2
1
1
1 M.: Aleksandrov A.D., Verner A.L., Ryzhik V.I. Geometriya: O'rta maktabning 6-sinfi uchun trial darslik.- Moskva, Prosveshcheniye Publ., 1984.
1
1 L. S. Atanasyan, V. F. Butuzov, S. B. Kadomtsev va E. G. Poznyak, Geometriya, 7 (4-ed.Moskva, Prosveshcheniye Publ., 1986).E3 bo'shliqdagi aksiomlarning to'liq ro'yxati sinov darslikning qo'shimchasiga aynan geometriya, 9-10 (3-o'rin. Moskva, Prosveshcheniye Publ., 1987).
