Цитата XPEHOMETP:
как же Лобачевский или Риман с ентими параллельными прямыми? »
|
А что там не так?
Там существует доказательство обратного?
Ок, приоткроем завесу тайны:
1. В виртуальных геометриях (Лобачевского, например) не доказывается пересечение параллельных прямых, там совсем другой постулат.
2. Отрицать возможность существования какой-либо геометрии, где возможно их пересечение, можно попытаться, конечно, но доказать именно - маловероятно.
Но, что это меняет, относительно обсуждаемого вопроса? Доказывать утверждения, по-прежнему, предстоит утверждающему или нет?
Всё просто же: утверждаешь - доказывай, не имеешь доказательств - не утверждай (максимум, это то, что всегда есть право высказать предположение/гипотезу и даже попытаться доказать её с помощью косвенных фактов... ну или таки доказать напрямую, если возможно). Опровержение - это одна из форм доказательств, только доказывается ложность утверждений оппонента. Есть желание - можно и за это взяться, но доказывать необходимо таки с помощью фактов и даже не исключено использование аксиом (определение аксиомы надо учитывать и опять таки не подменять понятия).
В любом случае, главное - не сваливаться на софистику и эристику, т.е. не заниматься подменой понятий в попытках вызвать уверенность в истинности утверждения... как-то так.