On the Consistency of the Axiom of Comprehension in the Lukasiewicz Infinite Valued Logic.