В статье анализируются границы применимости формальной методологии в логико-математических исследованиях и выявляется неизбежность применения неформальных рассуждений в повседневной математической работе, поскольку в массиве используемых логико-математических символов наблюдаются явления синонимии, полисемии и омонимии.
формально-математические методы, сравнение формальных теорий, формальная методология, логико-семиотический анализ