To What Extent Contemporary Mathematical Science is Reliable

Cover Page


The crisis in foundation of mathematics at the end of 19th beginning of 20th centuries initiated a number of axiomatic set theoretical systems during the first half of the 20th century. These systems were the result of different philosophical approaches (in view of second Godel's Theorem) aimed at overcoming of the above crisis. But the way out of this situation has never been found.
In my article I offer a new approach to solve this problem using a basic axiomatic system of the set theory with intuitionistic logic. I will present a lot of mathematical results having been obtained during the last forty years. We will survey the development of the set theory with the intuitionistic logic underlining the main points and formulating unsolved problems and describe the basic system of the intuitionistic set theory.

About the authors

Valery Kh Khakhanian

Moscow State University of Railway Communications

Email: <>
Moscow State University of Railway Communications




Abstract - 289

PDF (Russian) - 261


Copyright (c) 2016 Philosophy

This website uses cookies

You consent to our cookies if you continue to use our website.

About Cookies