普通にユークリッド幾何こそ図学に吸収するべきでは?。
「証明」は十分工学的関心の対象だよ。ネット認証やプログラムの動作保証に重要だから。