во-первых, о доках заговорил первым 5511 -
стало вдруг интересно когда аксиома успела стать доказанной, чтобы на неё не тратить время.
во-вторых: аксиоматическая формулировка - это не наречие...это правило, которое может стать кривилом...
Многократно проверенное можно в теориях использовать как аксиому.Что бы не тратить время на доказательство уже доказанного
во-вторых: аксиоматическая формулировка - это не наречие...это правило, которое может стать кривилом...
Комментарий