工学分野では数理モデルと物理モデルは区別される。CADなどのコンピューターソフトウェアを使って最初に数理モデルを作っておくことで、物理モデルの製造コストを最小化できる。構成部品はそれぞれモデル化され、製造公差が指定されている。分解図は製造過程をレイアウトするために使われる。各アセンブリを表示するシミュレーションソフトにより、それぞれの部品を現実のように詳細に回転・サイズ変更させることができる。建設における部品表を作成するソフトウェアにより、下請け業者が各々のアセンブリの組み立てに特化することで、製造コストを複数の顧客に分散できる。理論の定式化の際の仮定.仮定・公理は証拠なしで受け入れられる記述である。たとえば仮定は論理的な議論の前提に用いられる。アイザック・アシモフは仮定についてこう述べている。仮定自体が正しいか間違っているかを議論すること自体が誤りである。なぜなら、それを証明する方法が無いからであり、もし証明できたのならそれはもはや仮定ではない。仮定が有用かどうかは、そこから生じる推論が現実にどれだけ即しているかで考えるのが良い。私たちはどこか出発点を持たなくてはならず、そのために少なくともいくつかの仮定を持たせてほしい。すべての経験的主張(現実が存在するという主張も含む)には、特定の仮定が必要となる。しかし、理論は一般的に従来の意味での仮定(証拠なしで受け入れられる記述)を行わない。新しい理論が構築される際に仮定が用いられることはよくあるが、これらは証拠(従来の理論など)にある程度支持されるか、また理論の検証中に証拠が生まれる点で本来の仮定とは異なる。これは理論が正確な予測をすることの観察と同じくらい簡単かもしれず、試行条件下で最初に行われた仮定が正しいかある程度正しいかの証拠になる。仮定が有効な場合、またはほぼ有効な場合にのみ理論を適用することを意図している場合は、証拠のない従来の仮定を用いることができる。たとえば特殊相対性理論は慣性系を前提としている。理論は仮定が有効であれば正確な予測を示し、有効でなければ予測は正確にならない。このような仮定は、古い理論が新しい理論に引き継がれるポイントになることもよくある。たとえば、一般相対性理論は非慣性系でも成立する。論評.科学哲学者による評論.