>2の平方根という数は存在しない数になるだろう。
存在しないのは存在反証される数であって存在証明されない数ではない