Fenstad, J. E. (1964) “On the Consistency of the Axiom of Comprehension in the Lukasiewicz Infinite Valued Logic”., MATHEMATICA SCANDINAVICA, 14, pp. 65–74. doi: 10.7146/math.scand.a-10706.