数学的な厳密な定義・証明とは違う