Comprehensie-axioma van zermelo - Het critisch onderzoek van de grondslagen der klassieke verzamelingsleer van Cantor toonde de noodzakelijkheid aan van het invoeren van nieuwe axioma’s. Een dezer is het C.-a. van Z., dat in verscherpte formuleering aldus luidt: staat van alle elementen eener verzameling vast of een zekere eigenschap er voor geldt of niet, dan bevat de verzameling een deelverzameling, die uitsluitend die elementen, waarvoor de eigenschap geldt, bevat.
Logisch gesproken is dit de overgang van den inhoud (comprehensie) van een begrip tot het bestaan van een volkomen bepaalde verzameling, die alle objecten bevat, waarvoor het begrip geldt.
Drost.