算術述語
【さんじゅつじゅつご】
【sanjutsujutsugo】
算术谓词