Kanıtlanabilen bilimsel önerne.