确切的科学，也称为硬科学，纯科学或基础科学，完全依靠观察和实验作为实践来基于数学语言创建知识。它们是高精度和严格的科学，因为科学方法以其最纯粹的形式被用来以数学为工具来检验假设。
精确和严谨是精确科学的两个主要特征，在该分支中，最严格的科学方法用于检验假设。这些科学使用可量化和客观的预测来寻求其假设的不可辩驳性。
在精确科学的情况下，力求通过方程式以及可量化和客观的数学运算来验证假设和假设。这些基本原理被称为公理。
目前，正如鲁道夫·卡纳普（Rudolf Carnap）所建立的那样，精确的科学分为形式科学（非实验性）和自然科学（实验性）。在形式科学中，我们可以找到数学，逻辑和形式逻辑。在自然科学中，它们是天文学，生物学和物理学。
自科学知识的起源以来，精确的科学奠定了基础。尽管现在已经很清楚，并不是所有的知识都可以量化，但是在此前提下，许多基本法律，原理和理论支配了已经存在了多个世纪的基本原理，例如重力。
每门科学都有其自己的维度。因此，有社会科学，健康科学，基于概率的科学（例如气象学）或涉及自然某些方面（生物学，动物学等）的科学。最相关的科学之一是数学，也称为精确科学。该术语之所以用复数形式，是因为数学由微分分支（例如代数，算术，几何或概率）组成。另一方面，使用精确一词是因为数学的不同领域有一些共同点：它们的证明是明确无可争辩的，即精确。
