( Matematik ya da mantıkta, aksiyomlara ve önceki teoremlere dayanarak kesin olarak kanıtlanmış bir önerme.[Mutlak doğruluğu kanıtlandığından tartışmaya açık değildir.] İLE Bilimsel yöntemle kanıtlanmış, gözlemlerle desteklenen ve geniş bir olgular bütününü açıklayan genel bir çerçeve.[Hipotezden gelişir ve yanlışlanabilir nitelikte olmasına karşın genellikle geniş kabul görür.] )