#5a assiomi: Estensionalità, Astrazione, Comprensione, Peano e tavole della Verità

Estensionalità Due classi sono uguali se hanno gli stessi elementi Astrazione Data una proprietà definita P esiste una classe in cui gli elementi sono oggetti x che verificano P Tale classe è unica e si scrive {x : P(x)}, quindi a ∈ {x : P(x)} ⇔ P(x) vale. Bertrand Russell ha dato una definizione di classe per... Continue Reading →

Blog at WordPress.com.

Up ↑

%d bloggers like this: