---
tag: Z75VQG84MS
kind: concept
name: Aristotelian comprehension schema
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section A
    note: adopted
    mention: wikipedia://en/76765067#JN3D
    sections: [Summary]
inventory: [E8NJX1CQ2G]
---

## Summary

This formula in second-order logic: (∃x)Φ → (∃Y)(∀x)(Yx ↔ Φ).