このような意味論規則の中に、どのような値も持たないある種の数式（例えば、零除算を含む式）を宣言することは可能である（そのような式は「値が定義されない」とはいえ、それでもなお正しく並べられた式であることに変わりはない）。
语义规则可以声明某些表达式并无指定值（例如，当它们除以0时）；对这表达式称为未定义，但它们仍然以良好的形式表现出来。