ラッセルのパラドックス
ツェルメロ（1908b）は集合論に対する最初の公理化を与えた。それらの公理にアドルフ・フレンケルによる置換公理を加えたものは今日ではツェルメロ＝フレンケル集合論（ZF）の名で知られる。ツェルメロの公理にはラッセルのパラドックスを回避する為のサイズの制限の原理が組み込まれた。