Axioma van construeerbaarheid

In de verzamelingenleer, een deelgebied van de wiskunde, is het axioma van construeerbaarheid een van de mogelijke axioma's uit de verzamelingenleer. Het axioma stelt dat elke verzameling construeerbaar is.

Het wordt meestal geschreven als "", waarin het von Neumann-universum en het construeerbaar universum aanduidt.

Externe linksBewerken