formal proof

形式證明、形式證法

學術名詞

• 形式證明：數學、資訊
• 形式證法：數學