수학적 기초 이론의 발전 촉진