様相論理を勉強していると、S5フレームの到達可能性はユークリッド的とか言われる。これについて少し考えてみたい。 なぜ「ユークリッド」なのか？ 前から疑問だったが、本当にユークリッドの『原論』に由来しているらしい*1。 共通概念1：同じものに等しい…