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