この用語はまだ監査を通っていません(未確認)。
公準
こうじゅん 近いが同じではないpostulate
名詞 ・話し言葉
日本の高校数学では「公理」と言い、「公準」はユークリッド原論の訳語として出てくる程度。米国の Geometry では証明の前提を postulate と呼び、名前付きで使う(segment addition postulate、parallel postulate など)。axiom はほぼ同じ意味だが別のエントリ(axiom)。
定義
証明せずに正しいと認め、定理を導く出発点にする事柄。
A statement that is accepted as true without proof and used as a starting point for proving theorems.
例文
話し言葉 We don't prove this one. It's a postulate, so we just accept it and use it. これは証明しない。公準だから、正しいと認めてそのまま使う。
書き言葉・答案 Which postulate justifies the statement AB + BC = AC? AB + BC = AC が成り立つ根拠となる公準(公理)はどれか。
言い間違えやすいところ
- 用例コーパスで postulate は話し言葉ではすべて The Organic Chemistry Tutor で、書き言葉にはほとんど出てこない(OpenStax Algebra and Trigonometry・Precalculus)。IM には出てこない。
- 定理(theorem)は証明によって導いた事柄で、証明せずに認める postulate とは区別する。