Recent content by alfred_Tarski

  1. A

    High School Fundamental Property of Integers

    Closure axiom
  2. A

    How can x^n < y^n be proven using Spivak's 12 axioms and mathematical induction?

    Homework Statement Prove that x < y and n is odd implies x^n < y^n This is from chapter 1 problem 6 (b), so I am sure a lot of you are familiar with this. One can only use Spivak's 12 axioms, theorems derived from said axioms, and mathematical induction. Homework Equations x^n - y^n = (x -...
  3. A

    Undergrad Understanding Sets Defined by Specification

    x has to be in the universe of discourse X and pass the truth condition x is an element of P(x).
  4. A

    Basic question about separable diffeq methodology

    It's my understanding that the definition of the indefinite integral is: ∫f(x)dx = F(x) + C, where d/dx [F(x) + C] = f(x) and C is an arbitrary constant And while dx has meaning apart from the indefinite integral sign the indefinite integral sign has no meaning apart from dx. Adding an...