バドミントン

スポーツには｢神様｣が多い。
そこで少しくだらないことを思いついたので少しメモ代わりに書いておく。
バドミントンの神を公理的に定義する。
公理０
バドミントンの神は存在する。
公理１
０が存在する。
公理２
神は０を２１まで増やすことが出来る。
公理３
神は、０から一つずつしか増やせない。
公理４
神はー２０まで減らすことが出来る。
公理５
神は０から一つずつしか減らせない。
定理１
神は、０を１に増やせる。
なぜなら、公理２により０から２１まで増やせ、公理３より増やす場合１しか増えないので、神は０を１に増やせる。
定理２
神は、０を２に増やせる。公理３より明白だろう。
定理３
神は、０を２１に増やせる。これも、公理３を繰り返し適用すれば明白。
定理４
神は、０をー２０に減らせる。
ここで、バドミントンの勝ちと負けを定義する。
勝ちとは２１まで増やすことである。
負けとは−２１まで減らすことである。
定理５
神は、負けない。
仮に負けるとすると、−２１になる必要があるが公理４と矛盾する。よって、神は負けない。
こうやって、適当に公理とか定理とか定義をでっち上げてみようかと思いついた。
こうして、バドミントンの「神学」を作ろうかなというアイデアです。
どうなることやら！？
どうにもならなそうではある！
心のそこから「くだらない｣と思える試みではある。