うちの感覚やと、法則⊂公理 or 法則⊂公理、∀法則(＠´,,・ω・,,｀＠)
∀定理、公理→f→定理、∃f(＠´,,・ω・,,｀＠)
やなー(＠´,,・ω・,,｀＠)