ハードサイエンス、ピュアサイエンス、またはファンダメンタルサイエンスとしても知られる正確な科学は、数学的な言語に基づいて知識を作成するための実践として、観察と実験に完全に依存しています。科学的手法は、数学を手段として使用して仮説をテストするために最も純粋な形で使用されるため、これらは高精度で厳密な科学です。
精度と厳密さは、正確な科学の2つの主要な特徴であり、最も厳密な科学的手法を使用して仮説をテストする分野です。これらの科学は、定量化可能で客観的な予測を使用して、彼らの仮定の反駁できないことを求めています。
正確な科学の場合、仮説と仮定は方程式と定量化可能で客観的な数学的操作を通して反駁できないことが求められます。これらの基本原則は公理として知られています。
現在、Rudolf Carnapによって確立されたように、正確な科学は正式な（非実験的）科学と自然な（実験的）科学に分けられます。フォーマルサイエンスの中には、数学、ロジック、フォーマルロジックがあります。自然科学では、それらは天文学、生物学、物理学です。
正確な科学は、その起源以来、科学的知識の基礎を築いてきました。すべての知識を定量化できるわけではないことは今や明らかですが、この前提から、重力など、何世紀にもわたって想定されてきた基本原則を支配する基本法則、原則、理論の多くがあります。
各科学には独自の側面があります。したがって、社会科学、健康科学、確率に基づくもの（例えば、気象学）、または自然のある側面を扱うもの（生物学、動物学など）があります。最も関連性の高い科学の1つは数学であり、これは正確な科学とも呼ばれます。数学は代数、算術、幾何学、確率などの差別化された枝で構成されているため、この用語は複数で使用されます。一方、数学のさまざまな領域に共通点があるため、正確という言葉が使用されます。それらの証明は明確で議論の余地のない、つまり正確です。
