四色定理和Ramsey定理基于模型论的证明
사색정리화Ramsey정리기우모형론적증명
The Proofs of Four Colours and Ramsey Theorems Based on Model Theory