17/05/28 16:23:46.94 PqWMwFYK.net
>>199
R^N/～に対して、f(x)∈x (x∈R^N/～)を満たす関数を選択公理で一つ構成したのですよ。
17/05/28 16:23:46.94 PqWMwFYK.net
>>199
R^N/～に対して、f(x)∈x (x∈R^N/～)を満たす関数を選択公理で一つ構成したのですよ。
17/05/28 16:23:46.94 PqWMwFYK.net
>>199
R^N/～に対して、f(x)∈x (x∈R^N/～)を満たす関数を選択公理で一つ構成したのですよ。