Axiomaschema van afscheiding

Uit Wikipedia, de vrije encyclopedie
Naar navigatie springen Naar zoeken springen

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[bewerken | bron bewerken]

Als een formule is, en en verzamelingen, dan bestaat er een verzameling

Formeel:

[1]

Het gaat hier om een axiomaschema omdat het voor iedere formule (voor iedere eigenschap) een afzonderijk axioma oplevert.