集合論とか述語論理とか代数等の数学の世界の言葉でオブジェクトとかその周辺用語を定義して
それを使ってOOPの各種原則を議論した試みは無いのか
OOP界隈に漂うゆるふわを取っ払った真面目なOOPを知りたい