Nuprl Lemma : natInd4Boot2

P:

. (((P 0)

(

i:

. ((P (i

4))

(P i))))

(

n:

. (P n)))

Proof not projected

Error : references
\mforall{}P:\mBbbN{} {}\mrightarrow{} \mBbbP{}. (((P 0) \mwedge{} (\mforall{}i:\mBbbN{}. ((P (i \mdiv{} 4)) {}\mRightarrow{} (P i)))) {}\mRightarrow{} (\mforall{}n:\mBbbN{}. (P n))) Date html generated: 2013_03_20-AM-11_02_17 Last ObjectModification: 2012_11_27-AM-10_31_58 Home Index