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

Незнайка

13 января CE 2005 09:35

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

Рад встрече

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

Я видел это исправление

Незнайка