Σε πολλές διαδεδομένες εκδόσεις της αξιωματικής θεωρίας συνόλων, το Αξιωματικό σχήμα της προδιαγραφής, επίσης γνωστό ως Αξιωματικό σχήμα του διαχωρισμού, αξιωματικό σχήμα των υποσυνόλων ή αξιωματικό σχήμα της περιορισμένης κατανόησης, είναι ένα αξιωματικό σχήμα που δηλώνει ότι κάθε ορίσιμη υποκατηγορία ενός συνόλου είναι σύνολο. Wikipedia