線型空間の定義を証明しようとする奴はいない
（数ベクトル空間が線形空間の定義を満たすことを確認する奴はいるが）
線形写像の定義を証明しようとする奴はいない
（行列が線形写像の定義を満たすことを確認する奴はいるが）

しかし、なぜか
実数の定義の正しさを確認しようとする奴は少なくない
（どうやって確認するつもりか知らんが）
関数の連続性の定義の正しさを確認しようとする奴は少なくない
（どうやって確認するつもりか知らんが）