たとえば>>546だけど、証明できない事が”どんな仮定の下で”証明されているのか、一度でも気に懸けたことはあった?