この四則演算の形式的問題は、計算の根本を揺るがす大問題