Author: Symposium on Foundations of Mathematics, Warsaw 1959