Re:>>871 実数空間、複素数空間もまたヒルベルト空間。またヒルベルト空間の公理にも無限は出てこない。(もちろん完備性にも。数列、フィルターは無限を含んでいるように思えるが、論理的には無限を含まないようにできる。)