當指定z爲複數變元時，就有了形式冪級數的“變換”函數，即閉合形式的問題。
某些命題對於變元後的任何一種真值狀況，它均爲真，這樣的命題稱爲重言式。
Instance視圖允許創建新實例，增加和刪除元素或屬*，改變元素和屬*名，刪除元素和屬*節點，重命名和爲其賦值。
接受一個單一的變元，這必須對類型或類型表達式求值.
必須情景參與者在相應謂詞的詞典釋文或元語言釋文中對應的變元叫做謂詞的語義配價。
一階邏輯透過共享個體變元比相干邏輯更好地做到了這一點。
目的研究一類具有連續偏差變元的雙曲偏泛函微分方程邊值問題解的振動*。
而這僅與邊界值有關，對於無窮遠點，其實意思也差不多，但多出一個變元的話。
