For example, the sentence involving Napoleon can be rewritten as “any group of people that includes me and the parents of each person in the group must also include Napoleon,” which is easily interpreted as a statement in second-order logic (one would naturally start by assigning a name, such as G, to the group of people under consideration).
برای نمونه، این جمله شامل ناپلئون را می‌توان به عنوان «هر گروهی از مردم که شامل من و همچنین پدر و مادر هر فرد داخل گروه، باید شامل ناپلئون باشد»، که به راحتی به عنوان یک عبارت در منطق مرتبه دوم (می توان به طور طبیعی با اختصاص یک نام مانند G، به گروهی از مردم که تحت بررسی اند، شروع کرد) تعبیر می‌شود.