9 風吹けば名無し sage 2022/08/18(木) 14:02:52.50 ID:kJkzdLnm0
>>3
定理は公理から導かれるものでそれが有用であるとかにかかわらずその結果が得られることが大事

公式は問題を解くためのシステマチックな方法みたいな意味だろ

>>9
ちゃうぞ
定理は公理系から演繹的推論によって証明される真命題
公式は定理の中で数式で表されるもののことや