Logic foundations of mathematics proc. 1975 1 by