“函式符號”造句，怎麼用函式符號造句

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

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