用函數符號造句子，“函數符號”造句

此外，本系統中的各組原始公理還是自足的，即如想推出只含某些函數符號的永真公式時只須使用相應的公理便成。

典型的可再定位表達式有標號、變量、過程或函數符號等，因為這些符號在編譯時其最終地址是未知的。