Очень важный момент. Можем ли мы надеяться на то, что "если бы все следовали логике, то споров бы не было вовсе", как утверждает livelogic?

Недолго думая, я забил вопрос в гпт 4.0.

Is ambiguity possible in a formalism (in mathematics)? Give examples if it is. How is this question related to Hilbert's program in mathematics, if at all?

Вот:

( Ответ стохастического попугая )