Fenstad, Jens Erik. 1964. “On the Consistency of the Axiom of Comprehension in the Lukasiewicz Infinite Valued Logic”. MATHEMATICA SCANDINAVICA 14 (June):65-74. https://doi.org/10.7146/math.scand.a-10706.