そのQは反例にならない
反例になるのは次のどちらかの場合
・Qは証明できないし、Qの否定も証明できない
・Qは証明できるし、Qの否定も証明できる

前者ならQは独立命題と呼ばれる
後者なら理論は矛盾している