Без заголовка

Это очень любит обосновывать John Sowa: что человеческий язык может выражать любые идеи и обоснования, а разные формальные языки не любые (ибо они выражают только важное, выкидывая из формализма менее важные аспекты. И что важно для одного формализма, то будет потеряно для другого формализма. А человеческий язык может сохранить без формализма и одно, и другое). У меня про онтологические проблемы и их геометрическую (многомерное пространство смыслов) подробней рассказывается и даются ссылки в книге по визуальному мышлению, https://ridero.ru/books/vizualnoe_myshlenie/