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