>>744
その公理を加えてできる公理系ではそういう論理式の存在が証明できるというだけでしょ
そういう論理式の存在が、つけ加える前の公理系（単なるZFCとか）と独立な場合もちゃんと考慮しようよ