算術的述語
【さんじゅつてきじゅつご】
【sanjutsutekijutsugo】
算术谓词