Набор аксиом характеризует, как правило, исходные понятия не по отдельности, а в их совокупности – через объявление их связей между собой.
Философский подход опирается на некий первоначальный
набор аксиом, из которого путём умозаключений философ строит свою картину мира.
На его долю остаётся хмуриться, вытягивать шеи, задавать вопросы и делать приблизительные выводы, исходя из готового
набора аксиом – вроде такой, например: за каждым богатым юнцом охотятся более рьяно, чем за куропаткой.
Любое, даже самое замысловатое учение, хитроумную концепцию можно относительно просто изложить в виде простого
набора аксиом и алгоритмов.
Примеры различных, но равносильных
наборов аксиом можно встретить в математической логике и евклидовой геометрии.
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: различествовать — это что-то нейтральное, положительное или отрицательное?
Набор аксиом называется непротиворечивым, если исходя из аксиом набора, пользуясь правилами логики, нельзя прийти к противоречию, то есть доказать одновременно и некое утверждение, и его отрицание.
Формулируется теорема так: «Полного финитно описываемого
набора аксиом в арифметике не существует».
Например, в аксиоматической логике для определённой цели используют
набор аксиом с запрещением закона исключения третьего.
Это элементарная математика, если исходить из правильного
набора аксиом.
Присмотрелся и оказалось: в математике и физике система доказательств и решений складывается из небольшого
набора аксиом и базовых формул.