Axiomaschema van afscheiding
In de axiomatische verzamelingenleer en de deelgebieden van de logica, de wiskunde, en de informatica die daar gebruik van maken is het axiomaschema van afscheiding een axiomaschema dat deel uitmaakt van de de Zermelo-Fraenkel-verzamelingenleer. Voor een gegeven verzameling en een gegeven eigenschap garandeert dit schema het bestaan van een deelverzameling bestaande uit de elementen die aan de eigenschap voldoen.
Precieze formulering
Als een formule is, en en verzamelingen, dan bestaat er een verzameling
Formeel:
Het gaat hier om een axiomaschema omdat het voor iedere formule (voor iedere eigenschap) een afzonderijk axioma oplevert.
Bronnen, noten en/of referenties
|
This article is issued from
Wikipedia.
The text is licensed under Creative
Commons - Attribution - Sharealike.
Additional terms may apply for the media files.