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