述語記号じゅつごきごう<じゅつ'ご>・き'ごう4

LogikMath.PrädikatsymbolPrädikatensymbol