0730132人目の素数さん垢版 | 大砲2018/05/08(火) 23:47:28.80ID:Ji4X9G7z ラヨ関数は公理を指定しないとwell definedにならないけど、その公理はラヨ関数の強さには関係しない模様