「バドミントンの神学」の公理を改良してみた。
公理０
ゼロが存在する
公理１
神はこれを１増やす
公理２
神は二回連続して数を減らすことはない。
これで、神は最初の一点を先勝しこののリードを保って必ず相手に勝てることになる。
公理系が内在的で少なくなった。
よく横綱の強さを形容する時に｢連敗｣はしないですねというのを思い出して、公理にしてみた。
これも、プレイヤーの｢強さ｣あるいは｢神秘性」の一側面を公理化できているように思う。
先手を取りリードを許さない。
先行逃げ切りタイプの｢神」である。
競馬みたい！
公理でプレイスタイルをタイプ付けることが出来るという希望がわく。
