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

maks

12 января CE 2005 21:47

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

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

вношу исправление : A-->(X-->A).