>>79
公理P4は間違ってない?
正しくない論理式に思えるけど