foundations of mathematics articles