Požiadavky na axiomatickú výstavbu geometrie
V procese tvorby axiomatickej výstavby vednej disciplíny sa používajú:
  • a)
    základné pojmy,
  • b)
    odvodené pojmy,
  • c)
    doplnkové pojmy,
  • d)
    prirodzený jazyk.
Z teórie, ale aj praxe vyplynulo, že axiomaticky budovaná teória musí spĺňať minimálne nasledujúce požiadavky:
  • nezávislosť – všetky axiómy musia byť navzájom nezávislé (autonómne),
  • neprotirečivosť (bezospornosť) – žiadne z axiomatických tvrdení nesmú byť vo vzájomnom spore,
  • úplnosť – v systéme nesmú absentovať potrebné tvrdenia.