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.