توليد نسخة أكثر تعقيدًا من هذه الجملة. دراس جون فون نيومان خصائص مجموعة المعادلات التي تجعل التحلل المتناقض ممكنًا وقدم مفهوم المجموعات القابلة للتطبيق.
بطبيعة الحال، نسخة أكثر تعقيدًا من الجملة هي "درس جون فون نيومان خصائص مجموعة المعادلات التي تجعل التحلل المتناقض ممكنًا، وتحديد فئة المجموعات القابلة للتعديل، التي لا توجد فيها تحلل متناقض".