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