Both 定 (てい) and 理 (り) are read with their On'yomi, common for academic terms. ていじ and ていれい are misreadings of 理. The term refers to a proposition in mathematics or logic that has been proven true based on axioms and other theorems.

定（てい）と理（り）は共に音読みで、学術用語に多いパターンです。ていじやていれいは理の誤読です。数学や論理学において、公理や他の定理から証明された命題を指します。