second-order logic أمثلة على

• Second-order logic is in turn extended by higher-order logic and type theory.
  يتم التمديد إلى منطق الرتبة الثانية عبر منطق الرتب الأعلى ونظرية النمط.
• Second-order logic extends first-order logic by adding the latter type of quantification.
  يعتبر بمنطق الرتبة الثانية تمديد لمنطق الرتبة الأولى وذلك بإضافة القياس على المجموعات.