так не надо пробовать "минимизировать" количество аксиом и правил вывода.
это занятно для умственной деятельности, но мало пригодно для практики.
Пусть в них будет избыточность и включены все наблюдаемые объекты и процессы.
Затем как угодно, хоть перечислением картинок, вводить "означающие" этих объектов -
вот это стол, и это стол, и это - как ребенок учит мир.
потом правила вывода.
потом сверху особенности словообразования.