Аксиома

Аксио́ма (др.-греч. ἀξίωμα — утверждение, положение), или постулат, — утверждение, принимаемое без доказательства.

Аксиоматизация теории — явное указание конечного набора аксиом. Утверждения, вытекающие из аксиом, называются теоремами.

Примеры различных, но равносильных наборов аксиом можно встретить в математической логике и евклидовой геометрии.

Набор аксиом называется непротиворечивым, если из аксиом набора, пользуясь правилами логики, нельзя прийти к противоречию.

Впервые термин «аксиома» встречается у Аристотеля (384322 до н. э.) и перешёл в математику от философов древней Греции. Первоначально термин имел смысл «самоочевидная истина».

См. также


 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 Home