# Inductive Proof for use as proposition in paper

1. Jan 12, 2012

### HermyTheCrab

1. The problem statement, all variables and given/known data
Model the concept of space time using Set Theory

2. Relevant equations
Discrete Mathematics
Logic
Set Theory

3. The attempt at a solution
Try 1
Proposition X

The subset T is the set of ordered space time.
The point of space time s is in T
If s is in T then so are s-1 and s-2
Only sequences so formed are in T.

T={s:s s-n,...,s-2,s-1,s,s+1,s+2,...,s+n}
The set T contains all of space time such that s is an element of T?

Last edited: Jan 12, 2012
2. Jan 16, 2012

### HermyTheCrab

Papa Joe says I need to change the title to say "inductive definition" not proof. We are to define the frames that will have to be rendered, not prove anything ;-)

Proof by induction, $(n!)^{2} \le (2n)!$. Mar 1, 2017