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

Незнайка

17 января CE 2005 08:43

В ответ на О Незнайкиной универсальной семантике (перенос) (maks, 15 января CE 2005 19:37)

Рад встрече

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

Весьма неформальный подход к формальной логике.

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

А в переводе на русский?
И всё же жду вывода А.

Незнайка