>証明できない論理式

古典論理でもAは証明できないよ