The Axiom of Comprehension in Infinite Valued Logic. - Chang, C. C. (MATHEMATICA SCANDINAVICA, 1963)