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 formuleringBewerken

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.