Аксиома
Материал из Википедии — свободной энциклопедии
Аксио́ма (др.-греч. ἀξίωμα — утверждение, положение), или постулат, — утверждение, принимаемое без доказательства.
Аксиоматизация теории — явное указание конечного набора аксиом. Утверждения, вытекающие из аксиом, называются теоремами.
Примеры различных, но равносильных наборов аксиом можно встретить в математической логике и евклидовой геометрии.
Набор аксиом называется непротиворечивым, если из аксиом набора, пользуясь правилами логики, нельзя прийти к противоречию.
Впервые термин «аксиома» встречается у Аристотеля (384—322 до н. э.) и перешёл в математику от философов древней Греции. Первоначально термин имел смысл «самоочевидная истина».
[править] См. также
В этой статье или секции нет ссылок на источники информации. Вы можете помочь проекту, добавив список литературы или внешние ссылки. |