Sia> Ну может быть тогда уточните у него, что изначально имелось ввиду? противопоставил ли он доказательства и определения или хотел обратить внимание на бездоказательность определений?
И не то, и не другое. Спор про разные доказательства, что чем является и почему.
Если мы примем за определение, то и доказательств не надо. Вот договоримся мы всех мужиков называть кАзлами и всё — определение такое. Будут по определению. А, если мы хотим доказать, что мужики кАзлы по тому, как себя ведут, то надо базироваться на других определениях, подбирать факты, рассуждать и в соответствии с логикой показать, что различия между понятием мужик и понятием кАзёл — нет. Это и будет теоремка доказанная. Т.е. теоремка результат, а процесс установления этой тавтологии — доказательство.
Sia> Учитывая исключительную информативность моего поста, я определения доказательствам точно не противопоставляла, а с бездоказательностью определений я полностью согласна, о чем писала выше.
Ну и ладушки.