型式証明（かたしきしょうめい、英語: Type certificate）とは、ある航空機の型式（軍用機は除く）の設計が安全性及び環境適合性の基準を満たしていることを証明するものである。