Geodesic
Axiomatic method in a higher education course of mathematical logics: from Euclid to G\"odel
Matematičeskoe obrazovanie, Tome 84 (2017) no. 4, pp. 28-44.

Voir la notice de l'article provenant de la source Math-Net.Ru

A short history and theory of axiomatic method up to Gödel theorems is presented.
Keywords: axiomatic method, informal axiomatic theory, formal axiomatic theory. 
@article{MO_2017_84_4_a5,
     author = {I. V. Suchan and O. V. Ivanisova and G. G. Kravchenko},
     title = {Axiomatic method in a higher education course of mathematical logics: from {Euclid} to {G\"odel}},
     journal = {Matemati\v{c}eskoe obrazovanie},
     pages = {28--44},
     publisher = {mathdoc},
     volume = {84},
     number = {4},
     year = {2017},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MO_2017_84_4_a5/}
}
TY  - JOUR
AU  - I. V. Suchan
AU  - O. V. Ivanisova
AU  - G. G. Kravchenko
TI  - Axiomatic method in a higher education course of mathematical logics: from Euclid to G\"odel
JO  - Matematičeskoe obrazovanie
PY  - 2017
SP  - 28
EP  - 44
VL  - 84
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MO_2017_84_4_a5/
LA  - ru
ID  - MO_2017_84_4_a5
ER  - 
%0 Journal Article
%A I. V. Suchan
%A O. V. Ivanisova
%A G. G. Kravchenko
%T Axiomatic method in a higher education course of mathematical logics: from Euclid to G\"odel
%J Matematičeskoe obrazovanie
%D 2017
%P 28-44
%V 84
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MO_2017_84_4_a5/
%G ru
%F MO_2017_84_4_a5
I. V. Suchan; O. V. Ivanisova; G. G. Kravchenko. Axiomatic method in a higher education course of mathematical logics: from Euclid to G\"odel. Matematičeskoe obrazovanie, Tome 84 (2017) no. 4, pp. 28-44. http://geodesic.mathdoc.fr/item/MO_2017_84_4_a5/

[1] Stoll R.R., Mnozhestva. Logika. Aksiomaticheskie teorii, Prosveschenie, M., 1968, 232 pp.

[2] Smilga V.P., V pogone za krasotoi, Molodaya gvardiya, M., 1968, 288 pp.

[3] Kolmogorov A.N., Dragalin A.G., Vvedenie v matematicheskuyu logiku, Izdatelstvo Moskovskogo universiteta, M., 1982, 120 pp.

[4] Igoshin V.I., Matematicheskaya logika i teoriya algoritmov, Izdatelskii tsentr «Akademiya», M., 2010, 448 pp. <ext-link ext-link-type='mr-item-id' href='http://mathscinet.ams.org/mathscinet-getitem?mr=1221083'>1221083</ext-link>

[5] Mendelson E., Vvedenie v matematicheskuyu logiku, Nauka, M., 1976, 320 pp. <ext-link ext-link-type='mr-item-id' href='http://mathscinet.ams.org/mathscinet-getitem?mr=349331'>349331</ext-link>