Title: Natural deduction theorem proving in set theory