On the Consistency of the Axiom of Comprehension in the Lukasiewicz Infinite Valued Logic. - Fenstad, Jens Erik (Mathematica Scandinavica, 1964)