Home
Search
Documents
Subjects
Assertions
Theorems
Users
Log In
Help
A218
Related Documents
D6
: Topic Page: SeeReason Bugs, Issues, Comments
D9
: Twin Prime Conjecture
Related Theorems
Theorem
T8
by
David
Equivalence Assertions
(none)
Related Subjects
S49
: “
TPC
”
S50
: “
ZFC
”
S51
: “
greater than
”
S52
: “
prime
”
S53
: “
+
”
S54
: “
Independent of
ZFC
S50
”
S55
: “
greatest common divisor
”
S56
: “
greatest common divisor
”
S57
: “
coprime
”
S58
: “
ℕ
”
S59
: “
successor
”
S60
: “
subset
”
S61
: “
member
”
S62
: “
Peano Axioms
”
S66
: “
sum of numbers from 1 to x
”
S67
: “
sum of numbers from 1 to x
”
S68
: “
÷
”
S69
: “
×
”
Favorite Subjects
(none)
A218
:
∀
x
:
ℕ
S58
,
(
x
)
⇒
sum of numbers from 1 to x
F67
(
x
)
=
÷
F68
(
×
F69
(
x
,
successor
F59
(
x
)
)
,
2
)
By User 1 on on 2012-01-12
Create a theorem
from this assertion.
Related Assertions
A155
:
∀
x
:
∃
y
:
greater than
S51
,
(
y
,
x
)
∧
prime
S52
,
(
y
)
∧
prime
S52
,
(
+
F53
(
y
,
2
)
)
A156
:
∀
x
:
TPC
S49
,
(
x
)
⇔
A155
,
(
x
)
A158
:
∀
x
:
TPC
S49
,
(
x
)
⇒
Independent of
ZFC
S54
,
(
x
)
A170
:
ℕ
S58
,
(
1
)
A171
:
∀
x
:
ℕ
S58
,
(
x
)
⇒
ℕ
S58
,
(
successor
F59
(
x
)
)
A177
:
∀
x
:
∀
y
:
successor
S59
,
(
y
,
x
)
⇔
y
=
+
F53
(
x
,
1
)
A178
:
∀
x
:
successor
S59
,
(
0
,
x
)
⇒
¬
ℕ
S58
,
(
x
)
A179
:
∀
x
:
∀
y
:
successor
F59
(
x
)
=
successor
F59
(
y
)
⇒
x
=
y
A182
:
∀
x
:
subset
S60
,
(
x
,
ℕ
F58
)
∧
member
S61
,
(
1
,
x
)
∧
∀
y
:
member
S61
,
(
y
,
x
)
⇒
member
S61
,
(
successor
F59
(
y
)
,
x
)
A188
:
∀
x
:
∀
y
:
subset
S60
,
(
x
,
y
)
⇔
∀
z
:
member
S61
,
(
z
,
x
)
⇒
member
S61
,
(
z
,
y
)
A190
:
∀
x
:
A170
,
(
x
)
⇒
Peano Axioms
S62
,
(
x
)
A210
:
ℕ
S58
,
(
0
)
0 Comments on A218
No comments yet.
add a comment
0 Comments on A218
No comments yet.
add a comment