teaching:topics:number:axioms-formal
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
teaching:topics:number:axioms-formal [2024/03/14 12:43] simon [logic, mathematics, the world and philosophical considerations] |
teaching:topics:number:axioms-formal [2024/05/02 09:36] simon [using 'sets' to describe the properties of numbers] |
||
|---|---|---|---|
| Line 46: | Line 46: | ||
| * this is exactly what we do when we use a pronumeral in algebra | * this is exactly what we do when we use a pronumeral in algebra | ||
| * `forall b in ccN quad` then means: for all `b` in `ccN` | * `forall b in ccN quad` then means: for all `b` in `ccN` | ||
| - | * in other words ... "for every possible `b` that we could choose from `ccN` ..." | + | * in other words: "for every possible `b` that we could choose from `ccN` ..." |
| * `exists c in ccN quad` means: there exists something we will call `c` in `ccN` | * `exists c in ccN quad` means: there exists something we will call `c` in `ccN` | ||
| * in other words ... "we can always find some suitable element `c` in this particular collection called `ccN` ..." (usually with some property that will be given given next). | * in other words ... "we can always find some suitable element `c` in this particular collection called `ccN` ..." (usually with some property that will be given given next). | ||
teaching/topics/number/axioms-formal.txt · Last modified: 2024/05/02 09:44 by simon
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 3.0 Unported
