# 形式化證明

> 來源：中文維基百科 | 授權：CC BY-SA 4.0
> 原文：https://zh.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E5%8C%96%E8%AD%89%E6%98%8E
> 最後同步：2026-04-10T15:07:42.975+00:00