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

maks

17 января CE 2005 15:34

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

> Рад встрече
>
> > различие между аксиомой и теоремой позиционное :
> > аксиома - высказывание,с которого начинаем цепочку обоснований,
> > теорема - промежуточное высказывание,
> > заключение - последнее высказывание в данной цепочке,
>
> Весьма неформальный подход к формальной логике.

в чём "неформальность" ?
разве изменение названия объекта влияет на его содержание ?

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

аксиома А "Яблоки падают".
вывод В "При падении они повреждаются".

аксиома Х "Все предметы притягиваются Землёй"
теорема А "Под воздействием притяжения яблоки падают"
вывод В,С............