バドミントン

公理０

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

公理１

０が存在する。

公理２

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

公理３

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

公理４

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

公理５

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

これだけだとバドミントンのラリーの話に出てこないので、ラリーの公理をさらに追加する。
　
公理６
神はサービスを打つか、敵にサービスを打たせる。
公理７
神がサービスの場合、敵はこのサービスを打ち返すか打ち損ねる。
うち損ねた場合、神は一点を増やす。
公理８
敵がサービスした場合、神はこのサービスを打ち返すかうち損ねる。
打ち損ねた場合、神は一点を減らす。
公理９
撃ち返されたサービスは神は打ち返すかうち損ねる。うち損ねた場合
神は一点を減らす。
公理１０
神が打ち返し敵が打ち返すか打ち損なう。打ち損なった場合、神は一点を増やす。

定理１１
公理６から公理１０は、神が−２０まで減じるところまでしか適用されない。
公理６、７、８、９により
神と敵はサービスを打ち返した後、打ち返しどちらかが打ち損なうまで、続く。
このように勝負がつかないで継続する状態をラリーと呼ぶ。
定理１２
神はラリーに２０回負ける場合がある。
定理１３
定理１０より２０回負けるとラリーで負けることはなくなり不死身になる。
要するに、追い込められて本気になるとものすごく強くなって勝てないよねと言う話です。
粘るというか、地力があるというか強いということ。

定理１４
神に対して最大−２０まで勝つことができる。
これは公理４の言い換え。