Чистота и строгость свободного от демагогии научного поиска обещала духовную свободу, манила разрешимостью многих задач.
Задача является классической NP- полной проблемой разрешимости в теории вычислительной сложности.
Однако для значительной части наиболее общих «законов природы» такая разрешимость существует, а для остальных аксиом несомненно то, что ни один эмпирический закон, уже найденный или ещё не найденный путём индукции, не может выходить за рамки упомянутых более высоких областей права, облечённых в интеллектуальную необходимость; напротив, каждый из них должен входить в их рамки.