ntural dedction n. 【論理】 自然演繹《公理の代わりに基本的推理規則のみから証明図によって定理を導出する, より自然に近い論理的演繹(の体系)》. 1950