[Владимир Чернявский]

Сообщение от Equinox

Скажем так, в качестве аксиом необходимо брать факты, которые являются истинными.

Т.е. те, которые получены путем логического вывода

Сообщение от Equinox

Что же касается законов вывода, то тут я с Вами не соглашусь, так как законы логики - и есть те самые законы вывода истинных суждений, так что, говоря о законах логики, мы подразумеваем как раз "истинные" правила вывода".

Беда в том, что таких законов довольно много (если не бесконечно много). Причем, как и логических систем. А, еще хуже то, что в них всех принципально неразрешима проблема полноты (см. теорему Гёделя).