47話：アトラクションとしてのロジック（前半）
ユークリッド幾何学の公理を置き換えると非ユークリッド幾何学が出来上がる。
そんなロジックをアトラクションにしてみよう。
・公理と定理と
・ロジックを口に出す。
・ロジックを使ってアトラクションを演出する。