「どんな理論でも、否定も肯定もできない、あるいは、否定しても肯定しても矛盾
がない命題が存在する」

違うな。
「ある種の自然な論理体系では、真である事も偽である事も証明可能な命題が存在する。」
が正しい。