形式證明

係邏輯同數學上嘅一個概念。

「形式化噉證明 X」意思係指用一串長度有限嘅命題，當中每條命題都係
公理、
假設、或者
可以由打前嘅命題度推理出嚟。
再用呢串命題推理出 X，從而帶出「如果上面嗰拃命題成立，X 都實會成立」噉嘅宣稱。

數學證明

攷

邏輯