L-公理系
see L-論理式
L-閉論理式(L-論理式で閉じたもの)のメタ集合TをL-公理系という
形式的証明における公理系を一般化したもの
使用可能文字を言語(数学基礎論）で一般化したもの
形式的証明が定義できる
「L-公理系TからL-論理式phiが証明可能」を定義できる
ただし、基本公理の一部を変更する必要がある
https://gyazo.com/f95ef70a63cc822202e7545429c45941
9の公理
関数記号と、関係記号における等号公理
https://gyazo.com/0b394d32de2fd2e6d9c5df1406c0b336