Reading Bencivenga's 1976 paper on free logic and set theory, I skipped all the formal sections and went to read what was announced in the introduction. When I did not understood the notation, I came back to where it was introduced. With more titles and subsections, I would have had to put more effort to read that paper.
Here were the sections:
- No title nor number for the introduction
- 1. The Language
- 2. The Formal System
- 3. Consistency
- 4. Comparison with Other Systems
For fifteen pages or so, that should be enough. If more sectioning is needed, paragraph titles would suffice. Sections and paragraphs are enough for most projects.
