Fenstad, Jens Erik. “On the Consistency of the Axiom of Comprehension in the Lukasiewicz Infinite Valued Logic”. Mathematica Scandinavica 14 (June 1, 1964): 65–74. Accessed July 25, 2026. https://journals.msp.org/mscand/article/view/2600.