standard semantic
معنا شناسی استاندارد
معنا شناسی منطق مرتبه دوم
semantic of second order logic