auch als deskriptive Mengenlehre oder als Definierbarkeitstheorie des Kontinuums bezeichnet, Teilgebiet der axiomatischen Mengenlehre, das sich mit den definierbaren Teilmengen der natürlichen und der reellen Zahlen beschäftigt.

Viele Fragen der beschreibenden Mengenlehre sind von ZFC unabhängig, lassen sich jedoch beantworten, wenn man zu ZF statt des Auswahlaxioms das Determiniertheitsaxiom hinzunimmt.