Список проголосовавших за комментарий "Просто удивительно!<br/> <br/> Каким же образом аристотелева логика (с некоторыми надстройками) позволяет получать из аксиом новые интересные теоремы?<br/> <br/> Потому, что люди так договорились? Нет — это хня. О новых теоремах люди ничего не знали до их доказательства.<br/> <br/> Или это мистика? Чистое волшебство?<br/> <br/> С уважением"