Coppia (matematica): differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Riga 7:
==Cenni preliminari==
 
Per quanto il concetto di "coppia ordinata" possa sembrare estremamente semplice e intuitivo, esso è uno di quei concetti che hanno posto le maggiori difficoltà nell'ambito della formulazione rigorosa della matematica. Infatti se si persegue lo scopo di fondare tutta la matematica su un unico '''[[Sistema assiomatico#Dimostrazioni e definizioni|concetto primitivo]]''', e si vuole che tale concetto primitivo sia quello di insieme, allora anche la coppia ordinata deve essere definita a partire solo dal concetto di insieme. E questo è un problema tutt'altro che banale.
 
Per produrre una definizione soddisfacente di coppia ordinata, ovvero in grado di cogliere ciò che intendiamo intuitivamente con quel termine, per prima cosa bisogna definire le proprietà fondamentali che devono caratterizzare la coppia ordinata, e in particolare quelle proprietà che consentono di distinguerla da un insieme.