定理
定理（ていり、）とは、数理論理学および数学において、証明された真なる命題をいう。