12/02/03 16:04:59.16
>述語論理（λhol含む）や集合論のような共通言語
述語論理上の理論である集合論と述語論理を並列な言語としてる時点でアウト！
12/02/03 16:04:59.16
>述語論理（λhol含む）や集合論のような共通言語
述語論理上の理論である集合論と述語論理を並列な言語としてる時点でアウト！
12/02/03 16:04:59.16
>述語論理（λhol含む）や集合論のような共通言語
述語論理上の理論である集合論と述語論理を並列な言語としてる時点でアウト！