# Recent changes

Track the most recent changes to the wiki on this page.

#### 17 April 2014

- (diff | hist) . . Wallis's Product/Original Proof; 09:46 . . (+19) . . Oliver (Talk | contribs)
- (diff | hist) . . Wallis's Product; 09:42 . . (+17) . . Oliver (Talk | contribs)
- (diff | hist) . . User:Oliver; 09:39 . . (0) . . Oliver (Talk | contribs)
- (diff | hist) . . User:Oliver; 09:39 . . (+52) . . Oliver (Talk | contribs)
- (diff | hist) . . User:Lord Farin/Sandbox/Axiom:Peano's Axioms; 08:37 . .
**(+806)** . . Lord Farin (Talk | contribs) - (diff | hist) . . Equivalence of Definitions of Complex Inverse Cosecant Function; 08:07 . . (-15) . . Lord Farin (Talk | contribs)
- (diff | hist) . . m Sine of Imaginary Number; 05:46 . . (+152) . . Prime.mover (Talk | contribs)
- (diff | hist) . . m Definition:Inverse Hyperbolic Cosecant/Complex/Definition 1; 05:38 . . (+8) . . Prime.mover (Talk | contribs)
- (diff | hist) . . m Definition:Inverse Hyperbolic Cosecant/Complex/Definition 2; 05:37 . . (+8) . . Prime.mover (Talk | contribs)
- (diff | hist) . . N Equivalence of Definitions of Complex Inverse Cosecant Function; 05:35 . .
**(+7,167)** . . Prime.mover (Talk | contribs) (Created page with "== Theorem == The following definitions of the complex inverse cosecant are equivalent: === Defi...") - (diff | hist) . . m Equivalence of Definitions of Complex Inverse Secant Function; 05:32 . . (+28) . . Prime.mover (Talk | contribs)
- (diff | hist) . . m Definition:Inverse Cosecant/Complex/Definition 2; 05:13 . . (-1) . . Prime.mover (Talk | contribs)
- (diff | hist) . . m Definition:Inverse Cosecant/Complex/Definition 2; 05:13 . . (+12) . . Prime.mover (Talk | contribs)

#### 16 April 2014

- (diff | hist) . . User:Lord Farin/Sandbox; 23:12 . . (+473) . . Lord Farin (Talk | contribs)
- (diff | hist) . . Binomial Theorem/General Binomial Theorem; 23:10 . . (+185) . . Lord Farin (Talk | contribs)
- (diff | hist) . . Binomial Theorem/General Binomial Theorem; 21:11 . . (-15) . . Mtts (Talk | contribs)
- (diff | hist) . . Binomial Theorem/General Binomial Theorem; 21:10 . . (-4) . . Mtts (Talk | contribs)
- (diff | hist) . . User talk:Zhaoyang; 20:24 . .
**(+929)** . . Lord Farin (Talk | contribs) - (User creation log); 20:24 . . User account Zhaoyang (Talk | contribs) was created by Lord Farin (Talk | contribs)
- (diff | hist) . . Nm User:Zhaoyang; 20:24 . . (+43) . . Lord Farin (Talk | contribs) (Creating user page for new user.)
- (diff | hist) . . Nm User talk:Zhaoyang; 20:24 . . (+316) . . Lord Farin (Talk | contribs) (Welcome!)
- (diff | hist) . . User talk:Mtts; 20:24 . .
**(+929)** . . Lord Farin (Talk | contribs) - (User creation log); 20:23 . . User account Mtts (Talk | contribs) was created by Lord Farin (Talk | contribs)
- (diff | hist) . . Nm User:Mtts; 20:23 . . (+30) . . Lord Farin (Talk | contribs) (Creating user page for new user.)
- (diff | hist) . . Nm User talk:Mtts; 20:23 . . (+316) . . Lord Farin (Talk | contribs) (Welcome!)
- (diff | hist) . . User talk:Jmayle; 20:20 . .
**(+929)** . . Lord Farin (Talk | contribs) - (User creation log); 20:19 . . User account Jmayle (Talk | contribs) was created by Lord Farin (Talk | contribs)
- (diff | hist) . . Nm User:Jmayle; 20:19 . . (+33) . . Lord Farin (Talk | contribs) (Creating user page for new user.)
- (diff | hist) . . Nm User talk:Jmayle; 20:19 . . (+316) . . Lord Farin (Talk | contribs) (Welcome!)
- (diff | hist) . . Equivalence of Well-Ordering Principle and Induction; 14:42 . . (+70) . . Lord Farin (Talk | contribs)
- (diff | hist) . . Fallacy of Every and All; 14:39 . . (+208) . . Lord Farin (Talk | contribs)
- (diff | hist) . . N User:Lord Farin/Sandbox/Image of Successor Mapping forms Peano Structure; 14:33 . .
**(+2,941)** . . Lord Farin (Talk | contribs) (Created page with "== Theorem == Let $\left({P, s, 0}\right)$ be a Peano structure. Let $P'$ be the set $s \left[{P}\right]$, that is: :$P' =...") - (diff | hist) . . User:Lord Farin/Sandbox; 14:26 . . (+174) . . Lord Farin (Talk | contribs)
- (diff | hist) . . N User:Lord Farin/Sandbox/Successor Mapping has No Fixed Points; 14:23 . .
**(+1,304)** . . Lord Farin (Talk | contribs) (Created page with "== Theorem == Let $\mathcal P = \left({P, 0, s}\right)$ be a Peano structure. Then: :$\forall n \in P: s \left({n}\right) \ne n$. That is, t...") - (diff | hist) . . User:Lord Farin/Sandbox; 14:16 . .
**(+535)** . . Lord Farin (Talk | contribs) - (diff | hist) . . N User:Lord Farin/Sandbox/Non-Successor Element of Peano Structure is Unique; 13:55 . .
**(+646)** . . Lord Farin (Talk | contribs) (Created page with "== Theorem == Let $\left({P, s, 0}\right)$ be a Peano structure. Then: :$\forall n \in P: \neg \left({\exists m \in P: s \left({m}\right) = ...") - (diff | hist) . . User:Lord Farin/Sandbox; 13:45 . . (+491) . . Lord Farin (Talk | contribs)
- (diff | hist) . . User:Lord Farin/Sandbox; 12:40 . . (+260) . . Lord Farin (Talk | contribs)
- (diff | hist) . . N User:Lord Farin/Sandbox/Axiom:Peano's Axioms; 12:40 . .
**(+5,190)** . . Lord Farin (Talk | contribs) (Created page with "== Axioms == '''Peano's Axioms''' are a set of properties which can be used to serve as a basis for logical deduction of the properties of the Definition:Natural Numbers|na...") - (diff | hist) . . m User:Lord Farin/Sandbox; 11:56 . . (+40) . . Lord Farin (Talk | contribs)
- (diff | hist) . . User:Lord Farin/Sandbox; 11:54 . .
**(+899)** . . Lord Farin (Talk | contribs) - (diff | hist) . . Definition:Closed under Mapping; 10:01 . . (+345) . . Lord Farin (Talk | contribs)
- (diff | hist) . . m Axiom:Peano's Axioms; 09:47 . . (+8) . . Lord Farin (Talk | contribs)
- (diff | hist) . . User:Lord Farin/Sandbox; 09:03 . . (+488) . . Lord Farin (Talk | contribs)

#### 15 April 2014

- (diff | hist) . . m Definition:Inverse Secant/Complex/Definition 2; 21:52 . . (-139) . . Prime.mover (Talk | contribs)
- (diff | hist) . . m Equivalence of Definitions of Complex Inverse Sine Function; 21:39 . . (+71) . . Prime.mover (Talk | contribs)
- (diff | hist) . . m Equivalence of Definitions of Complex Inverse Secant Function; 21:19 . . (+15) . . Prime.mover (Talk | contribs)
- (diff | hist) . . N Equivalence of Definitions of Complex Inverse Secant Function; 21:19 . .
**(+7,052)** . . Prime.mover (Talk | contribs) (Created page with "== Theorem == The following definitions of the complex inverse secant are equivalent: === Definiti...") - (diff | hist) . . m Equivalence of Definitions of Complex Inverse Hyperbolic Cosine; 20:55 . . (-1) . . Prime.mover (Talk | contribs)
- (diff | hist) . . m Equivalence of Definitions of Complex Inverse Hyperbolic Sine; 20:55 . . (-1) . . Prime.mover (Talk | contribs)