Seminario del 2016

Relazioni primitive tra punti: stare fra (ternaria) e equidistanza (binaria tra coppie = quaternaria). Assiomi brevi e geometricamente visibili per le geometrie euclidea, iperbolica e assoluta di dimensione arbitraria. Analisi metamatematica dettagliata e elegante. Studio del frammento nel solo ``stare fra'', con sorprese.

indietro