„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
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
Az axiómarendszer axiómáit 5 csoportba szokás sorolni. Ezek a következők:
|