functional calculus的意思|示意
美 / ˈfʌŋkʃənəl ˈkælkjələs /
英 / ˈfʌŋkʃənəl ˈkælkjələs /
谓词演算