правда ли шо существуют аксиомы, к которым не найдётся контраксиом,
т.е. не для каждой А существует не-А?
Каждая элементарная частица обладает малым количеством свойств.
Противоположные аксиомы - не каждая частица обладает малым количеством свойств, каковая аксиома состоит из двух - не обладает свойствами вообще и обладает большим количеством свойств.
К тому же понятия формальной системы и полноты можно определить только для ограниченного числа аксиоматических систем. Как только мы выходим за пределы математики эти понятия становятся расплывчатыми и ни о каких бинарных системах логик речи уже не идет.
кстати, савед: букваецтва вызываед несварение
А дурака видно по неумению грамотно писать.
(ууу, падлюга)
1) "малое количество свойств" - это не конкретика и следовательно как часть высказання выглядет несуразно, контрэстетично; математеке треба определённость - если вы этого не знали, стыд вам и срам тоже вам
2) Ю.М.Колягин, Г.Л.Луканкин. Основные понятия современного школьного курса математики. - М.: Просвещение, 1974.
Предложение, относительно которого имеет смысл говорить, истинно оно или ложно, называю высказыванием. Таким образом, отличительным признаком любого высказывания является его свойство быть истинным (верным) или ложным (неверным).ацуда следует, что "Фтагн существует" или "Логико рулез" - это вполне правомерные высказання
и по отношению к этим высказанням мат. логики можно даже применить 1-аксиому вероятностей:
Р{Е}>=0, т.е. вероятность Р
высказывания Е больше или равно нулю
иныме славаме, вероятность того, что "Фтагн рулез" или "Логико существует" либо равна нулю, сталбыть это неправда, либо равна 1, значит так оно и есть
этож, математический формализм (а ышшо гарил у него Корны есть)
3) отрицание высказывания
при отрицании высказывания частица "не" ставится не где захотел, а после глагола либо модального слова - стрёмно этого не знать
т.о. надо произносить "каждая частица НЕ обладает малым количеством свойств"
поскольку в первичном высказывании должны имется в виду некие (не-)определённые свойства в малом количестве, то в отрицании говорится об их отсутствии (при этом могут существовать другие свойства, но это тема другого высказывания)
4) вопщем:
возьмём высказывание А="призрак являлся Гамлету"
вероятность этого явления Р{А}>=0, банально оно либо так и было, либо это туфта
допустим, мы приняли Р=1, и исходя из этого строим свою теорию
Теория призраков
аксиома А = призрак являлся гамлету
теорема 1. гамлет имеет органы чувств
следствия теоремы 1. гамлет страдал
ну итд
и в рамках этой теории мы не можем доказать, что А=1, или что -А=1, следовательно А=0
приходится покамест какое-то из этих утверждений брать на веру
до тех пор, пока не появится более обобщающая теория
со своими аксиомами
5)
предикаты понимаешь ли
уровни языка так сказать