Bertrand Russell
の早期の理論において，facts と true propositions の間の形式的な関係はバートランド・ラッセルとルートヴィヒ・ヴィトゲンシュタインによって同型であると理論化された．この方向の考えの例はラッセルの において見つけられる．