定理

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