Peano axioms
自明性は文脈にも依存する。関数解析における証明はおそらく、ある数が与えられると、より大きい数の存在を自明に仮定するだろう。だが初等整数論において自然数についての基本的な結果を証明するとき、証明は任意の自然数は次の数を持つというリマーク（そしてこれはそれ自身において証明されるあるいは公理として取られるべきである、ペアノの公理参照）にかなり依るだろう。