ヤブロの逆説を定理化する

ヤブロの逆説は線形時間論理における固定点を持たない演算子の存在を示す新しい定理となる。