Students and teachers of mathematical specialties

Axiomatic method in a higher education course of mathematical logics: from Euclid to Gödel

I. V. Suchan, O. V. Ivanisova, G. G. Kravchenko

Kuban State University, Krasnodar

Abstract: A short history and theory of axiomatic method up to Gödel theorems is presented.

Keywords: axiomatic method, informal axiomatic theory, formal axiomatic theory.

UDC: 510.23