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/