>>73
あってるぞ
実際、「この文は証明不可能である」は独立なので、モデル次第で真にも偽にもなり得る