数学における証明 (しょうめい、) とは、ある命題が正しいことを主張するための一連の演繹のこと。証明の各段階においては、前提（公理、定理等の認められた事実）や仮定から推論規則によって新たな命題を導くという形態をとる。ある証明の中で導入された仮定は、証明の別の部分で証明されるか、その証明の中で否定されなければならない（背理法）。
代表的な方法.
証明の代表的なテクニックを以下に示す。
背理法による例.
「素数は無限個存在する」という命題の証明は以下のようになされる。
証明の形式的定義.
数学における命題の証明においては、通常、その正しさの確認は証明の作成者と読者に委ねられている。証明の概念を形式化することによって、その正しさを機械的に判定したり、証明そのものを数学の研究対象とすることもできる。
記述の習慣.
証明を記述する際には、証明とそれ以外の部分をはっきりわけて可読性をあげるため、証明の始めと終わりを明確に示す習慣があり、特に初等中等教育などで初めて証明の記述を学ぶ者に対しては厳しく指導される。
一般に、一つの内容を一行に収め、上の行から順に下の行に移るに従って、論証が進むように書かれ、その理由や用いた定理を丸カッコ（）でくくって書き添えることが多い。複数の行に書かれた内容を使って次の行が得られるときは、複数の行を中カッコ｛、｝でくくるか、行末に...〇の丸の中に数字を入れたタグを付け、次の行頭に「①,②より」などと、説明の流れを明らかにする文言を添える。
浦和市内循環バス
レイチェル・ブラックモア
経歴・人物.
不時現象
不時現象（ふじげんしょう）とは、花の開花などの生物季節現象が、通常の時期とは著しく異なる時期に発生することである。具体的には、ソメイヨシノが秋に咲いた、モンシロチョウが真冬に飛んでいた、などが該当する。
概要.
動植物が季節によって状態を変える現象を生物季節現象という
不時現象とは、その生物季節現象が通常の時期とは著しく異なる時期に発生することである。
具体的には、通常は春に咲くソメイヨシノが秋に咲いた、蛹で冬を越すモンシロチョウが真冬に飛んでいた、といったものが不時現象である。
原因.
春咲きのサクラの場合は、以下の様な原因で、季節外れの開花（不時現象）が起こるとされている。
京都舎密局
概要.
キャスト.