0179132人目の素数さん垢版 | 大砲2017/12/26(火) 07:29:55.14ID:oROs5baw 命題変数を経由しない立場としては、PやQはある形式的言語にアプリオリに含まれる命題記号および述語記号となりますね