自明性 (数学)
別のジョークは定理について議論している 2 人の数学者に関係する。最初の数学者は定理が「自明である」と言う。もう1人の説明の要求に返事として彼は20分間解説を続ける。説明の終わりに、二番目の数学者は定理は自明であることに賛同する。これらのジョークは自明性の判断の主観性を指摘する。ジョークはまた最初の数学者が定理は自明だと言うが彼自身はそれを証明できないときにも適用する。しばしば、ジョークとして、定理はこのとき「直感的に明らか」(intuitively obvious) と呼ばれる。微分積分学の経験を積んだ人は例えば
∫ 0 1 x 2 d x = 1 3 {\displaystyle \int _{0}^{1}x^{2}\,dx={\frac {1}{3}}}
という主張を自明と考えるだろう。だが微分積分学の初学者にとってこれは全く明らかではないだろう。
自明性は文脈にも依存する。関数解析における証明はおそらく、ある数が与えられると、より大きい数の存在を自明に仮定するだろう。だが初等整数論において自然数についての基本的な結果を証明するとき、証明は任意の自然数は次の数を持つというリマーク(そしてこれはそれ自身において証明されるあるいは公理として取られるべきである、ペアノの公理参照)にかなり依るだろう。