Language

See the introductory article on What does it mean to prove?.