Винаги е господствало убеждението, че ще бъде възможно да се изгради завършена, непоклатима, стройна методология на научното познание, в която всичко да бъде основано на строги доказателства. След доказването на теоремите на математика Курт Гьодел става ясно, че никаква формална логическа теория не постига семантична пълнота и непротиворечивост; научното познание не е абсолютно достоверно познание. 

Проф. А. И. Осипов Лекции по основно ...