В статье рассматривается генетический метод построения теорий в его
сопоставлении с аксиоматическим методом. Существенно расширяется список
допустимых средств построений и рассуждений в рамках генетического
метода. Это будет связано с отказом от требований конструктивности и
финитности и переходом от конструктивной логики и эффективной
вычислимости к классической логике и нестандартным моделям вычислимости,
в которых допускаются трансфинитные объекты. Предпринята попытка
опровержения догмы о бездоказательности аксиом.
|