戦え数は証明可能性で定義しているのでモデル依存ではないのではないでしょうか