| Богословие от немного стесненных и уставших чайников |
[Nov. 3rd, 2014|03:49 am] |
|
|
|
|
| Comments: |
Это тавтологии, они не аксиомы.
"Это" все еще набор аксиом эквивалентный прежнему.
"В исчислении высказываний тавтологиями являются аксиомы (точнее — схемы аксиом), а также все формулы, которые можно получать из известных тавтологий с помощью заданных правил вывода". Путаете аксиомы и тавтологии.
Тавтология - тождественное высказывание, высказывание, тождественное аксиоме, аксиомой является.
"нейтральные изменения, не меняющие сути, но увеличивающие количество символов" - это формулы, аксиомы не являются формулами. Аксиомы и формулы - два вида тавтологий. | |