有关的函数。这个性质是首先被鲁道夫·佩尔斯(Rudolf Peierls)在1936年证明的，他的证法后来被称为佩尔斯论述(Peierls argument)。在零磁下的二维方晶格易辛模型的解析解后来在1943年被昂萨格解出，他证明了该模型的相关函数和自由能可由一个无交互作用的格点费米子场(noninteracting lattice fermion)来界定。昂萨格在1949年发表了一个决定了自发磁化现象的公式，但却没有给出推导过程。后来是杨振宁在1951年发表了第一个正式的推导过程，其中里面用到