>>991
誰も選択公理が微積なり線形なりの本質的な部分とは言ってはいない。