Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
rational_numbers [2014/12/27 19:32] 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. | ||
