11/04/25 16:59:17.12
与えられた体系の中での命題の独立性と、
公理系そのものの独立性の話の話は区別しないと。
前者は気にするのが普通だし、重要な問題であることも多い。
後者はよほど特別なことがない限り、気にすることはない。
11/04/25 16:59:17.12
与えられた体系の中での命題の独立性と、
公理系そのものの独立性の話の話は区別しないと。
前者は気にするのが普通だし、重要な問題であることも多い。
後者はよほど特別なことがない限り、気にすることはない。
11/04/25 16:59:17.12
与えられた体系の中での命題の独立性と、
公理系そのものの独立性の話の話は区別しないと。
前者は気にするのが普通だし、重要な問題であることも多い。
後者はよほど特別なことがない限り、気にすることはない。