Answer by zeynel for How to find what a definition defines?
I decided to answer my own question combining all I learned from comments and answers.Russell uses mathematical inductionTo prove by mathematical induction that a property $P(n)$ is true for...
View ArticleAnswer by Mark S. for How to find what a definition defines?
Short answerI think the OP might be confused by issues related to the semantics of English words and the pragmatics of how the English language is used, rather than any genuine mathematical issue.Long...
View ArticleAnswer by CyclotomicField for How to find what a definition defines?
$+$ is overloaded and has many different definitions depending on context. For example addition is defined differently for the naturals, integers, rational, real and complex numbers although we rarely...
View ArticleHow to find what a definition defines?
Are these definitions of the "+" and "mod" operators?$m+0=m$........(1)$0 \;\text{mod} \;2 = 0$.....(2)To me, (1) defines the identity property of zero and (2) defines zero as an even number.In my...
View Article
