А то, что наша модель единого алгоритмизированного языка далека, можно сказать противоположна в аксиоматике модели стандартной лингвистики, это святая правда. Но не доказательство "далекости от науки" : просто аксиоматические базы стандартной лингвистики (СЛ) и информационной лингвистики (ИЛ) отличаются на пи. Поэтому теоремы и методы СЛ просто не работают в ИЛ.
Доказательства должны лежать в области семантики и этимологии, а не в аксиоматике. Так что Ваша метафора - пустой звук.
Добавлено спустя 8 минут 9 секунд:
Насколько я могу судить, в основном Вы разводите флейм вместо предоставления доказательств.
Не судите да не судимы будете. Лучше доказывайте свои "флеймы"- раньше выйдите. С чистой, как говорится, совестью