Zermelo-Fraenkels aksiomer
Zermelo-Fraenkels aksiomer er et aksiomsystem for mængdelæren. Det er en udbygning af det tidligste sådanne system, opstillet i 1908 af E. Zermelo for at undgå de selvmodsigelser, som G. Cantors "naive" mængdebegreb fører til. Læs mere i Den Store