> 基礎論て、何を指すものか、勉強してから来い

すみません。用語が不適当でしょうか。(基礎論でどういう意味でしょうか)
なんとなく、OOって理論的な基盤の話を聞かないなぁ、と思ったもので。
型なら型理論とかあるし、計算としては計算量は明確にOが出るし、計算モデルもあるけど、
OOって、そういうカチッとした基盤がないのかなぁ、と。