| Answer | Crossword Clue |
|---|---|
| LEMMAS | Subsidiary theorems |
| OED | Addendum to Euclid's theorems. |
| PROPOSITIONS | Theorems to be demonstrated |
| GODEL | Logician known for "incompleteness theorems" |
| GODEL | Formulator of the incompleteness theorems |
| GODEL | Mathematician famous for his incompleteness theorems |
