Über die Anwendungen der mathematischen Logik auf die Mathematik. (Czech) Zbl 0094.00602

In order to show the importance of mathematical logic for mathematicians inexpert in it, the author deals in this expository paper with some non trivial examples of using propositional and predicate calculi [e. g. easy proof of O. Nikodym’s theorem about the class of a set of accessible points [Fundam. Math. 7, 250–258 (1925; JFM 51.0461.04)]. He points out the main results concerning precisation of mathematical notions (natural numbers, effectivity, consequences of problems on paradoxes etc.).


03A05 Philosophical and critical aspects of logic and foundations


JFM 51.0461.04
Full Text: DOI EuDML