維基大典

證明論 - 語言

證明論有 二六 種其它語言可用。

返證明論。

語言

取自「https://zh-classical.wikipedia.org/wiki/特殊:行動版語言/證明論」