Abstract

Knížka je určena každému, kdo se zajímá o logickou stavbu a základy matematiky a o začátky moderní matematické logiky. Aniž předpokládala zvláštních věcných znalostí, navazujíc na tradiční středoškolskou logiku, přibližuje čtenáři výraz a methodu logiky moderní. V podstatě jde o řešení dvou otázek: jak se odvozují matematické věty a jaké jsou logické základy matematiky. Probírá spojování výroků, výrokové vzorce, obecné a existenční výroky, logickou dedukci adruhy důkazů, některé matematické pojmy (množina, vztah, zobrazení, funkce), definice a jejich vlastnosti i systémy axiomů a požadavky, jež na ně klademe.