>>870
無限の概念なしに、ヒルベルト空間とバナッハ空間を造れるのか?