Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
rational_numbers [2014/12/27 19:12] nikolaj |
rational_numbers [2016/04/23 13:41] nikolaj |
||
---|---|---|---|
Line 8: | Line 8: | ||
----- | ----- | ||
- | |||
=== Discussion === | === Discussion === | ||
+ | == Theorems == | ||
+ | For all $m$ | ||
+ | |||
+ | $\dfrac{1}{x}=1 + \sum_{k=1}^m (1-x)^k + \dfrac{1}{x} (1-x)^{m+1}$ | ||
+ | |||
+ | == Logic == | ||
In first order logic, being of characteristic zero ("$\forall n.\,(1+1+\dots+1)_{n\ \text{times}}\neq 0$") requires an axiom schema. But even the induction axiom of the Peano axioms requires a schema. | In first order logic, being of characteristic zero ("$\forall n.\,(1+1+\dots+1)_{n\ \text{times}}\neq 0$") requires an axiom schema. But even the induction axiom of the Peano axioms requires a schema. | ||
Line 25: | Line 30: | ||
----- | ----- | ||
=== Related === | === Related === | ||
- | [[Logic]] | + | [[Logic]], [[Real numbers]] |