人間には証明できないということが証明されている時点で
数学の探求なんて無意味だよ