协调、一致与一阶公理系统的强完全性
협조、일치여일계공리계통적강완전성
저자의 최근 논문