0
Anonymous
The statements that require proof in a logical system are theorems and corollaries.
Ocie Koss ∙