原始言語における証明しょうめい可能な論理ろんり式

命題論理の出発形

全称記号の出発形

等号と所属記号の出発形

含意による生成

全称化による生成

によって定められる 原始言語の論理式 を 証明可能な論理式 とよぶ。