けいしき‐しょうめい【型式証明】🔗⭐🔉

けいしき‐しょうめい【型式証明】 かたしきしょうめい（型式証明）

大辞泉 ページ 4640 での【型式証明】単語。