函数符号造句

典型的可再定位表达式有标号、变量、过程或函数符号等，因为这些符号在编译时其最终地址是未知的。

此外，本系统中的各组原始公理还是自足的，即如想推出只含某些函数符号的永真公式时只须使用相应的公理便成。