形式證明

形式證明jing4 sik1 zing3 ming4（英文：formal proof）係邏輯同數學上嘅一個概念。

「形式化噉證明 X」意思係指用一串長度有限嘅命題，當中每條命題都係

• 公理、
• 假設、或者
• 可以由打前嘅命題度推理出嚟。

再用呢串命題推理出 X，從而帶出「如果上面嗰拃命題成立，X 都實會成立」噉嘅宣稱。

睇埋

• 數學證明