title: Axiomaschema van afscheiding
text: 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 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.
  
  Verzamelingenleer