Almost all the arguments in mathematics are a positive or negative version of one of four linguistic forms:
- Object «a» has Property «P»
- Every object of type «T» has property «P»
- There is an object of type «T» having property «P^»
- If statement «A», then statement «B»
