1954년부터 1995년까지 연세대학교 수학과 교수를 지냈다. 미국 워싱턴대학교 대학원을 수학하였으며, 영국 런던대학교 수학과 방문교수, 대학수학회 회장을 역임했다. 2002년 현재 연세대학교 명예교수이다. 지은 책으로는 <수리논리학>, <집합론의 기초>, <수학적 존재와 인식> 등이 있다.