Στη θεωρία συνόλων, το αξιωματικό σχήμα της αντικατάστασης είναι ένα σχήμα αξιωμάτων στα πλαίσια της θεωρίας συνόλων Ζερμέλο-Φράνκελ που υποστηρίζει ότι η εικόνα οποιουδήποτε συνόλου κάτω από οποιαδήποτε ορίσιμη απεικόνιση είναι επίσης ένα σύνολο. Wikipedia