目前为止，在网上能找到的关于律诗格律的资料都是一些归纳，没有成型的理论。既不方便记忆，也没有阐述其中的道理。本文的目的就是为律诗格律建立一套公理体系（相当于物理上的大统一理论），以及相应的推导方法。

律诗按字数分四种形式：五绝，七绝，五律，七律。每种形式有不同的起落方式，两种起的方式，两种起的方式，二二得四，一共有四种起落方式：仄起仄收，仄起平收，平起仄收，平起平收。四四一十六，所以一共有十六种格式。七绝，五律，七律的格式都是以五绝为基础，下面把五绝的四种形式一一列出：

仄起仄收：  

仄仄平平仄, 白日依山尽  
平平仄仄平。黄河入海流  
平平平仄仄, 欲穷千里目  
仄仄仄平平。更上一层楼  

仄起平收：  

仄仄仄平平, 北斗七星高  
平平仄仄平。哥舒夜带刀  
平平平仄仄, 至今窥牧马  
仄仄仄平平。不敢过临洮  

平起仄收：  

平平平仄仄，鸣筝金粟柱  
仄仄仄平平。素手玉房前  
仄仄平平仄，欲得周郎顾  
平平仄仄平。时时误拂弦  

平起平收：  

平平仄仄平, 花明绮陌春  
仄仄仄平平。柳拂御沟新  
仄仄平平仄, 为报辽阳客  
平平仄仄平。流芳不待人

根据「数学归纳法」，我们总结出三条公理：

  1. 平仄公理：除第一行由边界条件决定以外，单数行仄字结尾，双数行平字结尾并且押韵。单仄双平讲条件。
  2. 交替公理：平仄交替，但如果出现以三平或三仄结尾，第一个字反转，平转仄，仄转平。平仄交替逢三反。
  3. 黏对公理：偶数行与前一行开头的平仄相反，奇数行与前一行开头的的平仄相同。联内相对联外黏。

现在我们具体推导仄起仄收。

［甲］根据边界条件，我们有：

仄仄◻︎ ◻︎ 仄

根据交替公理，未知数为「平平」，所以第一句就出来了：

仄仄平平仄

［乙］根据黏对公理，第二句应该是：

平平◻︎ ◻︎ ◻︎

根据平仄公理，最后一个字应该是平音，由此我们得到：

平平◻︎ ◻︎ 平

再根据交替公理，未知数为「仄仄」，所以第二句也出来了：

平平仄仄平（韵）

［丙］根据黏对公理和平仄公理，第三句是：

平平◻︎ ◻︎ 仄

根据交替公理，未知数为「仄仄」。可是问题来了，这样就出现「仄仄仄」结尾，「仄仄仄」要转换为「平仄仄」，所以第三句就是：

平平平仄仄

［丁］根据黏对公理和平仄公理，第四句应该是：

仄仄◻︎ ◻︎ 平

根据交替公理，未知数为「平平」。然后「平平平」要转换为「仄平平」。所以第四句就是：

仄仄仄平平（韵）

合在一起，五绝「仄起仄收」式的规则是：

仄仄平平仄      白日依山尽  
平平仄仄平（韵）黄河入海流  
平平平仄仄      欲穷千里目  
仄仄仄平平（韵）更上一层楼

七绝就是在五绝的前面再加上两个字，根据公理第二条，七绝「平起仄收」式的规则是：

平平仄仄平平仄      伤心欲问前朝事  
仄仄平平仄仄平（韵）惟见江流去不回  
仄仄平平平仄仄      日暮东风春草绿  
平平仄仄仄平平（韵）鹧鸪飞上越王台

五律和七律就是按照同样的方式再推导出四句，也就是把四句变成八句。五律和七律的中间两联要求对仗，举例：

仄仄平平仄，国破山河在  
平平仄仄平。城春草木深  
平平平仄仄，感时花溅泪 # 三四句  
仄仄仄平平。恨别鸟惊心 # 对仗  
仄仄平平仄，烽火连三月 # 五六句  
平平仄仄平。家书抵万金 # 对仗  
平平平仄仄，白头搔更短  
仄仄仄平平。浑欲不胜簪

余下的三式「平起平收」，「平起仄收」，「仄起平收」可以依法推导出来。至此律诗的十六种格律都可以以上面所述公理严格推导出来，律诗格律的大统一理论至此完成。