Český matematik a filozof.
Oba jeho rodiče byli středoškolskými učiteli matematiky. Studoval na gymnáziu v Ledči nad Sázavou a poté na Matematicko-fyzikální fakultě Univerzity Karlovy, kde byl posledním diplomantem významného českého matematika Eduarda Čecha. Po dokončení studia získal zaměstnání na téže fakultě, v roce 1965 byl jmenován docentem. V matematice přispěl zejména svojí prací v oboru teorie množin. Je zakladatelem takzvané alternativní teorie množin a jeho jméno nese několik matematických vět a objektů. V letech 1990 až 1992 byl ministrem školství.