First-order set theory itself requires second-order principles (like comprehension) to formalize, so...
This proposition has not been edited since the history system was added.