аксиома

Аксіома — це основне положення або принцип, який приймається без доведення і служить основою для побудови теорії або системи знань. В математиці та логіці аксіоми використовуються як вихідні точки для derivування інших тверджень (теорем) через логічне доведення.

Прикладом аксіом можуть бути:

1. Аксіома Евкліда: Через дві точки можна провести тільки одну пряму.
2. Аксіома раціональних чисел: Якщо a < b, то a + c < b + c для будь-якого числа c.

Аксіоми зазвичай формулюються просто і зрозуміло, щоб їх легко можна було приймати в рамках специфічної системи.