Fenstad, Jens Erik. “On the Consistency of the Axiom of Comprehension in the Lukasiewicz Infinite Valued Logic”. MATHEMATICA SCANDINAVICA 14 (June 1, 1964): 65–74. Accessed May 3, 2024. https://www.mscand.dk/article/view/10706.