(16. května 1935, Praha – 20. března 2015, Praha)
byl český matematik a filozof.
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ů.