Di: Rudy d'Alembert

@ gnugnu:
Capito, effettivamente ho risposto ad un'altra cosa.
Come dice la segretaria di mia moglie, "le do' ragione e no" .
L'A3 porta un ben preciso punto di una "retta" (OK, segmenti... Siamo su un foglio di carta) in corrispondenza di un ben preciso punto della seconda retta; la corrispondenza biunivoca tra (i punti del)le due rette e' un presupposto.
In A6 i due punti sono portati "da qualche parte" sulle rette; a priori non sappiamo dove finiranno, mentre in A3 si': nell'ottica della geometria euclidea le due cose possono essere considerate equivalenti, ma nell'origami sono diverse.
Comunque, sono in molti a sostenere che tra i sette assiomi ce ne sia almeno uno di troppo, quindi probabilmente hai ragione.