Salomaa 给出了公理化这个理论的等式模式，Kozen 随后使用准等式或在等式间的蕴涵重新公式化它为有限公理化，至关重要的准等式是归纳的: 如果 x·a ≤ x 则 x·a* ≤ x，和如果 a·x ≤ x 则 a*·x ≤ x。
(en)sˈaləmˌɑː(cmn) ɣ^ɣqr ʝʁk ɣr ɣ^ɣ^k qr ʁʑr tsʁɣr ɣ^ɣr qr r çɣr çɣɣ^r ʁqr n ʁqr (en)kˈəʊzən(cmn) qn ʁr ʁqr tɕhɣ^r tsʁr çɣɣ^r ʁqr ʁr tsʑqr çɣɣ^r ʁqr ɬqʑk çɣr tɕhr ʁʑn tsʁɣ^r khqk ɣ^ɣ^k ʁqr ʁʑr ʑk thɣqr tɕhr khqʑr ɣ^ɣ^k qr ʁʑr tsʁqr ɣ^ʑk tsʁɣ^r tɕhʑr çɣr tsʁr çɣɣ^r ʁqr ʁqr ɣ^qk ʑr çɣr: n ɣ^r(en) ˌɛsˈɛs(cmn) tsɣn(en) ˌɛsˈɛs ˈastəɹˌɪsk(cmn) ʁɣn n ɣ^r (en)ˌɛsˈɛs(cmn) tsɣn (en)ˌɛsˈɛs ˈastəɹˌɪsk(cmn)