estensionalità, assioma di nella teoria NBG degli insiemi, afferma che due classi uguali hanno le medesime proprietà: ∀x∀y(x = y ⇒ ∀z(x ∈ z ⇔ y ∈ z) (→ Neumann-Bernays-Gödel, teoria di).
assioma
assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...
