так не надо пробовать "минимизировать" количество аксиом и правил вывода. это занятно для умственной деятельности, но мало пригодно для практики. Пусть в них будет избыточность и включены все наблюдаемые объекты и процессы. Затем как угодно, хоть перечислением картинок, вводить "означающие" этих объектов - вот это стол, и это стол, и это - как ребенок учит мир. потом правила вывода. потом сверху особенности словообразования.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2007-08-14 05:59 am (UTC)это занятно для умственной деятельности, но мало пригодно для практики.
Пусть в них будет избыточность и включены все наблюдаемые объекты и процессы.
Затем как угодно, хоть перечислением картинок, вводить "означающие" этих объектов -
вот это стол, и это стол, и это - как ребенок учит мир.
потом правила вывода.
потом сверху особенности словообразования.