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 February 15, 2026. https://www.mscand.dk/article/view/10706.