A188

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 ZFCS50”
  • 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)
A188: ∀x: ∀y: subsetS60, (x, y)⇔ ∀z: memberS61, (z, x)⇒ memberS61, (z, y)
Created on on 2011-12-04

Create a theorem from this assertion.

Related Assertions

1 Comment on A188

  • person icon
    David

    Definition of subset. It uses member (S61) because you can't say that z is an element of x.

    24 weeks ago
    ·
    ·permalink

add a comment