公理とは何か｜証明の前提を選ぶ操作
公理とは、絶対的な真理そのものではなく、命題を宣言し証明するための前提条件の集合である。数学の歴史は、最も少ない記号で最も広範な概念を説明する試みだと定義すると、公理は最小のツールキットで最大の説明をするための関係性のセットである。
系譜の例として、Euclid（エウクレイデス）の『原論』、Giuseppe Peano（ジュゼッペ・ペアノ、1858–1932）の自然数公理、David Hilbert（ダフィット・ヒルベルト、1862–1943）の形式主義、Alonzo Church（アロンゾ・チャーチ、1903–1995）と Alan M. Turing（アラン・M・チューリング、1912–1954）による計算可能性の枠組みがある。事業の「公理」は、経営へ応用するときの前提宣言であり、数学の公理そのものではない。
前提を毎回説明していると紙に書ききれない。説明しなくても共有される前提ルールが必要になった。それが公理である。公理は定理の前に置かれ、以後のYes/No判定の土台になる。
公理観の変化
古典的には、公理は自明で疑えない真理と見なされた。ユークリッド幾何の公準がその代表である。近代以降は、公理を選ぶこと自体が理論の設計になる、という立場が強まった。
| 時代感 | 公理の位置 |
|---|---|
| 古典 | 自明な真理 |
| 近代以降 | 証明系の前提選択 |
| 計算の文脈 | 目的関数と棄却条件の宣言 |
ペアノ算術、集合論、選択公理をめぐる議論は、「何を前提にするか」で定理の世界が変わることを示した。チャーチとチューリング以降、計算可能性そのものが公理的枠組みと結びつく。
経営における公理
ブランドや組織の公理は、ロゴのスローガンではない。破れば棄却する条件、目的関数、停止条件の宣言である。
例を挙げる。
- 現金下限を割らない
- 法令と安全を破らない
- 価格の完全性を維持する
- 秘密を開示せず体験で検証可能にする
これらを探索の途中で都合よく書き換えると、結果は検証不能になる。公理変更は、新しい理論（新しい計算ラウンド）として記録する。
外部主体の役割
SAT Solverは公理を選ばない。目的関数、reject条件、許容誤差、Boundを設定する外部主体が選ぶ。ASIが命題を高速に証明できても、どの公理系に住むかを選ぶ決定は、別の階層の操作である。
満足解（Satisficing）の閾値も公理側である。内部の3-SATをどれだけ緩和しても、外側の受入条件が無ければ探索は止まらない。
チェックリスト
- 何を証明しようとしているか明示したか
- 前提（reject条件）を探索前に固定したか
- 前提変更を新ラウンドとして記録したか
- スローガンと演算規則を混同していないか
- 外部主体が目的と停止を宣言したか
公理の有効性は、信念を強くすることではなく、証明と探索が意味を持つための前提を、検証可能な形で選び、固定することにある。
ユークリッドから現代へ
ユークリッドの公準は、長いあいだ自明な幾何の土台だった。平行線公準をめぐる再検討は、公理を疑うことが新しい幾何を生むことを示した。公理は固定された信仰ではなく、探索空間の境界設定である。
ペアノ算術は自然数の演算を少数の前提から組み立てる。ヒルベルトのプログラムは完全性と無矛盾性を求めたが、ゲーデル以降、十分強い系では限界があることが知られる。経営の公理系も、完全を夢想するより、何を捨て何を残すかを明示する方が使える。
ブランド公理の失敗模式
- スローガンだけがありreject条件がない
- reject条件が多すぎて実行不能
- 現場が暗黙にreject条件を上書きする
- 値引きや例外が公理を侵食する
- 変更履歴がなく、どの系で証明したか不明
失敗を防ぐには、公理を版管理し、例外を学習節として記録する。
選択の階層
命題を証明する力と、公理を選ぶ力は階層が違う。高速な求解器や将来のASIが前者を強化しても、後者は目的と責任の側に残る。どのreject条件を守るか、どの損失を許容するかは、計算の出力ではなく決定である。
決定を計算へ丸投げすると、目的が探索の途中で漂流する。公理の版管理は、その漂流を止める。
運用への落とし込み
公理票の項目は、目的関数、reject条件一覧、停止条件、例外処理、変更理由、有効開始日時、承認者とする。例外処理が月次で増えるなら、公理が現場と乖離している。乖離を黙認せず、版を上げるか現場手続を戻す。
どちらもしない状態が、最も検証不能な状態である。全社掲示とリポジトリの両方に、現在有効な版番号を出す。会議資料の冒頭に版番号が無い提案は審議しない。版番号が無い決定は、後からどの系の定理か分からなくなる。
例外の金利
例外承認は、短期の便利さと引き換えに、公理系の複雑さへ金利を払う。例外一件ごとに、記述長と監査時間の増加見積を付ける。見積を付けられない例外は、便利さの実測も無い。金利が見えるようになると、例外の申請件数は自然に減る。
新任への引き渡し
責任者が変わるとき、公理票の朗読と例外一覧の確認を引き継ぎの最初に置く。プロダクトのデモより先に行う。デモから入ると、暗黙の例外が正規手続に見える。引き渡しチェックリストの第一項を公理版番号にする。署名が無い引き渡しは未完了とする。
まとめに代えて
公理は、信じていることの宣言ではない。証明と探索が意味を持つための境界設定である。ユークリッドから現代まで、前提の選び方が理論の地図を変えてきた。経営でも、reject条件と目的と停止条件の版が、組織の地図である。版を隠すと、現場は暗黙の別公理系で動き、中央の証明が空虚になる。ASIが速く証明しても、どの系に住むかの選択は残る。選択のログを残せ。
『P vs NP経営』の詳細はこちら https://link.amazon/B04IEdYsn