不可能、不確定、不完全

「できない」を証明する数学の力