ワイトマンの公理系
物理学において、ワイトマンの公理系(Wightman axioms)（ガーディング・ワイトマンの公理系(Gårding–Wightman axioms)ともいう）とは場の量子論を数学的に厳密に定式化する試みの一つである。アーサー・ワイトマン(Arthur Wightman)は、1950年代初期には既にこの公理系を定式化していたが、実際に出版されたのはがその重要性を認めた後、1964年のことである。
ワイトマンの公理系は構成的場の理論の文脈で議論され、場の理論の厳密な扱いの基礎と、摂動的な手法の厳密な基礎を提供することを意図している。ミレニアム問題のひとつ（ヤン-ミルズ方程式と質量ギャップ問題）には、ヤン-ミルズ理論においてワイトマン公理系を確立することが含まれている。