拉姆齐模型的推导