El axioma de extensionalidad constituye la definición fundamental del concepto de conjunto como una colección abstracta de objetos.