てい‐り【定理】 (theorem)すでに真であると証明された一般的命題。公理または定義を基礎として真であると証明された理論的命題。