О Незнайкиной универсальной семантике (перенос)

maks

15 января CE 2005 19:37

В ответ на О Незнайкиной универсальной семантике (перенос) (Незнайка, 14 января CE 2005 10:46)

> Рад встрече
>
> А --> (Х --> А) (аксиома Фреге)
> по русски это значит,что любую аксиому А можно превратить в теорему,
> исходя из аксиомы Х........
>
> Итак, жду превращения А в теорему. Надеюсь, речь не идёт о жульничестве. Предложении аксиомы эквивалентной А.
>
> Незнайка

никакого жульничества...........

эта формула справедлива для любых утверждений
(хоть о зелёных человечках,хоть о манне небесной,
хоть о строении атома,хоть о эволюции вселенной).......

различие между аксиомой и теоремой позиционное :
аксиома - высказывание,с которого начинаем цепочку обоснований,
теорема - промежуточное высказывание,
заключение - последнее высказывание в данной цепочке,

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