定理（ていり、）とは、数理論理学および数学において、証明された真なる命題をいう。
概要.
文脈によっては公理も定理に含む。また、数学においては論説における役割等から、補題（ほだい、）あるいは補助定理（ほじょていり、）、系（けい、）、命題（めいだい、）などとも呼ばれることがある。
ある一定の条件（公理系）下で命題を述べ、それが「定理」であると論証する、というのが数学という分野の中心的な研究の形態である。
数学の多くの分野には、各々「」という名で呼ばれる中心的な定理が存在している。なお定理という名称と証明という手続きは、数学のみならず、物理学や工学においても使用される。
有名な定理.
経済学発祥の定理.
※数学以外の分野から発祥した定理は、物理学発祥、工学発祥、経済学発祥として表記した。但し、数学者が証明した物理学の定理は物理学発祥とした。
証明
証明（しょうめい）とは、ある事柄が真理もしくは事実であることを明らかにすること。また、その内容。
一般用法.
社会生活で一般的に使用される用法としては、ある事柄に対する論説や理論・解答・判断・推理などの根拠・理由などを明らかにし、その事柄が真実であることなどを明らかにすることである。立証（りっしょう）とも呼ばれることもある。
証明されたものを、より確実にするための、あるいはその正当性を示す証拠や保証となるもの、およびそれを求める行為のことを裏付け（うらづけ）、裏書き（うらがき）と呼ぶ。
熱電対
温度センサ以外の用途としては、科学研究用に一定電圧を長時間発生させる装置として使う用途もあり（乾電池など化学電池では分極してしまい、長時間安定性に欠けるため）、「オームの法則」などで有名な物理学者オームは安定電圧を熱電対で発生させた。
原理.
接点の一端（冷接点）の温度が分かっていれば、ゼーベック効果による起電力の電圧を測定し既知の起電力表と対比することで他端（熱接点）の温度がわかる。
冷接点温度は水の氷点温度を利用したり、機器内部の温度計測システムによって知ることが出来る。
なお、冷接点とは基準となる温度であり、熱接点とは測定対象に接した側の接点である。したがって低温の測定対象物の場合など、実際の測定では冷接点側の温度が熱接点側の温度より高いこともある。
形式.