$Def.$ non-formale di coppia ordinata di $a$ e $b$, $(a;b)$

garnak.olegovitc1
Salve a tutti,
in molti testi ed appunti di matematica le def. di coppia ordinata di $a$ e $b$, con $a$ e $b$ due oggetti qualsiasi, $(a;b)$, non è formale (ovvero: non è secondo la def. di Kuratowski, o di altri http://en.wikipedia.org/wiki/Ordered_pair), ma intuitiva.. io purtroppo non riesco a capire la def. intuitiva, potete, cortesemente, fornirmi una def. di coppia ordinata in maniera intutiva di modo che io possa capire, anche questa, in modo pieno.
Cordiali saluti

Risposte
menale1
Che ne pensi di questa .
Una coppia ordinata $ (x,y) $ è un ente primitivo che soddisfa un determinato assioma , ossia :
$ (x,y)=(t,z) hArr x=t , y=z $ .
Che ne pensi , Garnak ?? :-D :-D :-D

garnak.olegovitc1
Salve menale,
dopo la discussione che abbiamo avuto nell'argomento def-formale-dell-insieme-singleton-unit-set-t81032-60.html, preferisco fare ricorso alla def. formale, evitando ulteriori concetti primitivi.

menale1
Si concordo appieno , così in tal modo riusciamo sia ad avallare la definizione di coppia ordinata che di coppia non-ordinata ! :-D :-D

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.