ソ連の数学は徹底的に構成主義的だから堅牢