Доказанная гипотеза - это уже достоверный фрагмент некоторой теории.Подчеркнем еще раз, что это вопросы, специфические для теоретического познания.Теории разделяют по различным основаниям.С логической точки зрения можно выделить дедуктивные и недедуктивные теории.Основу дедуктивной теории составляет понятие логического следования.К. Гёдель доказал теорему о неполноте формализованных систем.Недедуктивные теории характерны для опытных наук.Эссенциальные теории идут значительно дальше и отображают внутренние механизмы изучаемых процессов.Классическим примером простой теории служит механика Ньютона.Можно выделить теории завершенные и незавершенные.