一 个体词、谓词、量词和公式