律環公理(Nomological Ring Axioms)　内包性動力学エンジン(Intensional Dynamics Engine)

https://github.com/M-Tokun/NRA-IDE (リポジトリ)、猫を端に入れる。その箱を開けたら猫がいる。時計の歯車は摩耗しても正確な時刻を刻めるのは何故？