0274132人目の素数さん垢版 | 大砲2018/08/28(火) 23:55:11.34ID:W0aAul7K >>273 well-definedであればそれを証明することが出来る ということがわかっているだけではなんの意味もない 具体的に証明してみないと