„Hilbert-féle axiómarendszer” változatai közötti eltérés

[ellenőrzött változat][ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
a hivatkozás előtti szóköz törlése, ld.: WP:BÜ AWB
Matolcsid (vitalap | szerkesztései)
15. sor:
* az ''egybevágóság'' pedig egy bináris reláció, ami két [[szakasz (geometria)|szakasz]] között vagy két [[szög]] között állhat fenn.
 
Vegyük észre, hogy a szakaszokat, szögeket, háromszögeket pontok és egyenesek, illetve az illeszkedés és két pont között lenni relációk használatával definiálhatóakdefiniálhatjuk.
 
Az axiómarendszer axiómáit 5 csoportba szokás sorolni. Ezek a következők: