노트/메모 Completeness and Basu’s theorem Jae-seong Yoo 2013. 7. 7. 22:20 completeness.pdf 저작자표시 비영리 변경금지 (새창열림)