>>96
＞0でない任意の時間tに対してそれよりちょうど単位時間1だけ短い時間t-1が存在する。

時間は自然数？