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