Two applications of logic to mathematics - Takeuti, Gaisi (Publications of the mathematical society of Japan, 1978)