>>39
だからその「論理による証明」とはどんなものかってことだよ。
命題とか証明を対象とする立場なんだから、
論理に関する推論規則だけじゃなく、
対象に関する仮定(公理)が必要だろうが。