English Dictionary

During the conference, she presented a new proof in intensional logic that clarified how a term's intension differs from its extension.

学会で彼女は、項の内包と外延の区別を表現する形式的演繹体系である内包論理に関する新しい証明を発表し、その違いを明確にした。