バドミントン

公理０

バドミントンの神は存在する。

公理１

０が存在する。

公理２

神は０を２１まで増やすことが出来る。

公理３

神は、０から一つずつしか増やせない。

公理４

神はー２０まで減らすことが出来る。

公理５

神は０から一つずつしか減らせない。

定理６
神は一つであるか、神同士は対戦しない。
もし神同士が複数いて対戦し、勝敗が決まったとする。すると負けた一人の神は−２１点にならなければならない。ところが、公理４により、神はー２０点までしか減らせない。よって、これは公理４に矛盾する。つまり、神は神ではないことになる。つまり偽神。神は唯一であるか、神同士は対戦しない。
定理７
神は、−２０点になると負けなくなる。もし、−２０点で負けると−２１点になり公理４に矛盾する。したがって、神は−２０点になるとそれ以後の勝負に全て勝つ。
定義：負けないで連続して勝つことを｢不死身」と定義する。
定理７の系
神は、−２０点になるまでは、勝負に勝つ場合もあるし，負ける場合もある。
定理８
神はー２０になると不死身になり、それ以後に勝負に全て勝つ。もしこうでないと公理４に矛盾する。
定理９
神は２１まで勝ち相手は０から２０までの範囲で勝つ。
これは、公理１から５より明白。
定理１０
神はいつも勝負に勝つわけではない。しかし、もし負けていても、最後には必ず逆転できるということになる。定理７の系と定理９より明白。

いちいち突っ込みをいれたくなるような｢ボケ」でなかなか面白い。
ハリウッドのヒーロの定義みたいなもんだね！