[6 / 2 / ?]

No.7618098 ViewReplyReportDelete
Is there anything which has more expressive power than second order logic?