ここら辺りで、別の意味の客観（＝客体）を出して見ようかｗ
こっちの方が、鉄柱的には食いつきがいいのでは？

普通数学
３（客体）、９（客体）３×３（客体）
３×３＝９（客体に関する解釈）

形式数学
３×３＝９（客体）証明図Ａ（客体）
Ａは３×３＝９の証明図である（客体に関する解釈）