Underlying Axioms

• 692: 1.1: Straight Line Determined by Two Distinct Points
• 694: 1.2: Circle Determined by its Center and its Radius
• 734: 1.3: Segment Extension
• 682: Axiom of Distributivity
• 666: Axiom of Empty Set
• 551: Axiom of Extensionality
• 717: Axiom of Foundation
• 678: Axiom of Infinity
• 716: Axiom of Power Set
• 675: Axiom of Separation (Restricted Principle of Comprehension)
• 705: Bivalence of Truth
• 504: Peano Axioms
• 1427: Zermelo-Fraenkel Axioms

Logical Predecessors

• Definitions:
  • 875: Real Sequence

Logical Successors

• Definitions:
  • 1110: \(b\)-Adic Fractions
  • 198: Absolutely Convergent Series
  • 175: Convergent Real Series
  • 217: Divergent Series
  • 237: Harmonic Series
  • 1363: Rearrangement of Infinite Series
• Theorems:
  • 1148: A General Criterion for the Convergence of Infinite Series
  • 1158: Convergence of Infinite Series with Non-Negative Terms
  • 1266: Criterion for Alternating Infinite Series
  • 6645: Difference of Convergent Real Series
  • 1270: Direct Comparison Test For Absolutely Convergent Series (Majorant Criterion)
  • 1335: Direct Comparison Test For Divergence Series
  • 1353: Infinite Geometric Series
  • 8111: Number of Multiples of a Prime Number Less Than Factorial
  • 6647: Product of a Real Number and a Convergent Real Series
  • 1337: Ratio Test For Absolutely Convergent Series
  • 6643: Sum of Convergent Real Series
  • 8147: Upper Bound of Harmonic Series Times Möbius Function