18/02/09 16:54:39.45 +GSyCLQ+.net
>>23 つづき
場合分けの２）の場合は
P’∧Q’2→Q
で、Q’2（稠密）が、”￢Q”（開区間の存在否定）を含意しているよと。
こうやって、性質Gを抽象化することで、数理の真相がよく分る
つまり、”性質G”は開集合が取れるかどうかには殆ど影響せず、”補集合 R－BfがR中で稠密か否かが決定的”だということ”を再度強調しておく
つづく
18/02/09 16:54:39.45 +GSyCLQ+.net
>>23 つづき
場合分けの２）の場合は
P’∧Q’2→Q
で、Q’2（稠密）が、”￢Q”（開区間の存在否定）を含意しているよと。
こうやって、性質Gを抽象化することで、数理の真相がよく分る
つまり、”性質G”は開集合が取れるかどうかには殆ど影響せず、”補集合 R－BfがR中で稠密か否かが決定的”だということ”を再度強調しておく
つづく