推論システムの公理化の有名なものはアクツェル〈Aczel | アクゼル〉のもので、 Aczel, Peter (1977). “An Introduction to Inductive Definitions”. In: Handbook of Mathematical Logic. Ed. by Jon Barwise. Vol. 90. Studies in Logic and the Foundatio…