11/01/03 00:44:17
>>44
＞公理的集合論は一階述語論理の上に定義されるから
＞"公理系"の"系"って公理的集合の一種にはなりませんよね？
俺も初心者だけど
まさに>>78の言うように「構文論的」に考察しているからこそ
たとえ集合論が一階述語論理を用いて定義されていようが
「一階述語論理で記述された公理系の性質」について調べるときは
公理系を論理式の集合と考えて、集合論という道具を使って調べるんじゃないかな
11/01/03 00:44:17
>>44
＞公理的集合論は一階述語論理の上に定義されるから
＞"公理系"の"系"って公理的集合の一種にはなりませんよね？
俺も初心者だけど
まさに>>78の言うように「構文論的」に考察しているからこそ
たとえ集合論が一階述語論理を用いて定義されていようが
「一階述語論理で記述された公理系の性質」について調べるときは
公理系を論理式の集合と考えて、集合論という道具を使って調べるんじゃないかな