# Category:Proofs by Contradiction

Jump to navigation
Jump to search
(previous page) (next page)

## Pages in category "Proofs by Contradiction"

The following 200 pages are in this category, out of 979 total.

(previous page) (next page)### 1

### A

- Abelian Group Factored by Prime
- Abelian Group of Order Twice Odd has Exactly One Order 2 Element
- Abelian Group of Order Twice Odd has Exactly One Order 2 Element/Proof 2
- Absolute Value is Many-to-One
- Absolute Value of Components of Complex Number no greater than Root 2 of Modulus
- Absolutely Convergent Product Does not Diverge to Zero
- Absolutely Convergent Product Does not Diverge to Zero/Proof 1
- Absolutely Convergent Product Does not Diverge to Zero/Proof 2
- Accumulation Points of Sequence of Distinct Terms in Infinite Particular Point Space
- Additive Group and Multiplicative Group of Field are not Isomorphic
- Additive Group of Real Numbers is Not Isomorphic to Multiplicative Group of Real Numbers
- Additive Group of Real Numbers is Not Isomorphic to Multiplicative Group of Real Numbers/Proof 3
- Template:AimForCont
- Alexander's Compactness Theorem
- Alexandroff Extension of Rational Number Space is Connected
- Algebra from Cayley-Dickson Construction Never Real
- Algebraic Element of Degree 3 is not Element of Field Extension of Degree Power of 2
- Algebraic Element of Field Extension is Root of Unique Monic Polynomial of Minimal Degree
- Algebraic Structures formed by Left and Right Operations are not Isomorphic for Cardinality Greater than 1
- All Bases of Matroid have same Cardinality
- Alternative Definition of Ordinal in Well-Founded Theory
- Altitude, Median and Perpendicular Bisector Coincide iff Triangle is Isosceles
- Annihilating Polynomial of Minimal Degree is Irreducible
- Anomalous Cancellation on 2-Digit Numbers
- Antiassociative Operation has no Idempotent Elements
- Antilexicographic Order/Examples/Unit Square with Open Side
- Antiperiodic Element is Multiple of Antiperiod
- Antireflexive and Transitive Relation is Asymmetric
- Archimedean Principle/Variant
- Area of Circle/Proof 3/Lemma 2
- Area of Circle/Proof 3/Lemma 3
- Arens-Fort Space is not Countably Compact
- Arens-Fort Space is not First-Countable
- Asymmetric Relation is Antireflexive
- Auxiliary Approximating Relation has Interpolation Property
- Axiom of Approximation in Up-Complete Semilattice
- Axiom of Choice Implies Zorn's Lemma
- Axiom of Choice Implies Zorn's Lemma/Proof 2
- Axiom of Pairing from Powers and Replacement
- Axiom of Specification from Replacement and Empty Set

### B

- Backwards Induction
- Basic Universe has Infinite Number of Elements
- Basic Universe is not Set
- Beatty's Theorem
- Beatty's Theorem/Proof 1
- Beatty's Theorem/Proof 2
- Bernstein's Theorem on Unique Global Solution to y''=F(x,y,y')/Lemma 1
- Bessel's Inequality/Corollary 1
- Between two Rational Numbers exists Irrational Number/Lemma 1
- Between two Rational Numbers exists Irrational Number/Lemma 2
- Bolzano-Weierstrass Theorem/General Form
- Boolean Prime Ideal Theorem/Extension Lemma
- Bounded Above Subset of Real Numbers/Examples/Open Interval from 0 to 1
- Bounded Below Subset of Real Numbers/Examples/Open Interval from 0 to 1
- Bounded Below Subset of Real Numbers/Examples/Real Numbers
- Branch of Finite Tree is Finite
- Bridge divides Graph into Two Components
- Brouwer's Fixed Point Theorem/One-Dimensional Version
- Brouwer's Fixed Point Theorem/One-Dimensional Version/Proof Using Connectedness
- Bézout's Lemma/Euclidean Domain

### C

- Cantor's Theorem
- Cantor's Theorem (Strong Version)
- Cantor's Theorem (Strong Version)/Proof 2
- Cantor's Theorem (Strong Version)/Proof 2/Induction Step
- Cantor's Theorem (Strong Version)/Proof 2/Induction Step/Proof 1
- Cantor's Theorem (Strong Version)/Proof 2/Induction Step/Proof 2
- Cantor's Theorem/Proof 1
- Cantor's Theorem/Proof 2
- Cardinal Class is Proper Class
- Cardinal Equal to Collection of All Dominated Ordinals
- Cardinalities form Inequality implies Difference is Nonempty
- Cardinality of Mapping
- Cauchy Mean Value Theorem
- Cauchy's Inequality
- Cauchy's Inequality/Proof 1
- Center of Group of Order Prime Cubed
- Characterisation of Jacobson Radical
- Characterisation of Non-Archimedean Division Ring Norms/Corollary 2
- Characteristic of Field by Annihilator/Characteristic Zero
- Characteristic of Field by Annihilator/Prime Characteristic
- Characterization of Closure by Open Sets
- Characterization of Pseudoprime Element when Way Below Relation is Multiplicative
- Characterization of T0 Space by Closures of Singletons
- Characterization of T0 Space by Distinct Closures of Singletons
- Characterizing Property of Infimum of Subset of Real Numbers
- Characterizing Property of Supremum of Subset of Real Numbers
- Chords do not Bisect Each Other
- Circle is Bisected by Diameter
- Circle is Bisected by Diameter/Proof 1
- Circles Touch at One Point at Most
- Class has Subclass which is not Element
- Clopen Set contains Components of All its Points
- Closed Balls Centered on P-adic Number is Countable/Lemma
- Closed Bounded Subset of Real Numbers is Compact
- Closed Bounded Subset of Real Numbers is Compact/Proof 1
- Closed Extension Topology is not Hausdorff
- Closed Real Interval is Compact
- Closed Real Interval is Compact/Topological Space
- Closed Set of Uncountable Finite Complement Topology is not G-Delta
- Closed Set/Complex Analysis/Examples/Closed Unit Circle
- Closed Topologist's Sine Curve is not Path-Connected
- Closed Unit Interval is not Countably Infinite Union of Disjoint Closed Sets
- Closure of Irreducible Subspace is Irreducible
- Closure of Pointwise Operation on Algebraic Structure
- Commutative and Associative Product on Space of Distributions does not Exist
- Compact First-Countable Space is Sequentially Compact
- Compact Hausdorff Topology is Maximally Compact
- Compact Hausdorff Topology is Minimal Hausdorff
- Compact Set of Rational Numbers is Nowhere Dense
- Compact Sets in Countable Complement Space
- Compact Subspace of Linearly Ordered Space
- Compact Subspace of Linearly Ordered Space/Lemma 1
- Compact Subspace of Linearly Ordered Space/Reverse Implication
- Compact Subspace of Linearly Ordered Space/Reverse Implication/Proof 2
- Compact Subspace of Metric Space is Sequentially Compact in Itself
- Comparison Test for Convergence of Power Series
- Complement of Prime Ideal of Ring is Multiplicatively Closed
- Complement of Subset with Property (S) is Closed under Directed Suprema
- Complement of Symmetric Relation
- Complete and Totally Bounded Metric Space is Sequentially Compact
- Complete and Totally Bounded Metric Space is Sequentially Compact/Proof 2
- Completely Irreducible and Subset Admits Infimum Equals Element implies Element Belongs to Subset
- Completely Irreducible Element equals Infimum of Subset implies Element Belongs to Subset
- Completely Irreducible implies Meet Irreducible
- Complex Cosine Function is Unbounded
- Complex Cosine Function is Unbounded/Proof 2
- Complex Numbers cannot be Extended to Algebra in Three Dimensions with Real Scalars
- Complex Numbers cannot be Ordered Compatibly with Ring Structure
- Complex Numbers cannot be Ordered Compatibly with Ring Structure/Proof 1
- Complex Numbers cannot be Ordered Compatibly with Ring Structure/Proof 2
- Complex Numbers cannot be Ordered Compatibly with Ring Structure/Proof 3
- Complex Numbers under Multiplication do not form Group
- Complex Sine Function is Unbounded
- Component of Finite Union in Ultrafilter
- Composition of 3 Mappings where Pairs of Mappings are Bijections
- Condition for Agreement of Family of Mappings
- Condition for Composite Relation with Inverse to be Identity
- Condition for Denesting of Square Root/Lemma
- Condition for Differentiable Functional to have Extremum
- Condition for Open Extension Space to be Separable
- Condition for Planes to be Parallel
- Condition for Rational to be a Convergent
- Condition for Relation to be Transitive and Antitransitive
- Condition for Repunits to be Coprime
- Condition for Straight Lines in Plane to be Parallel/General Equation
- Condition for Uniqueness of Increasing Mappings between Tosets
- Conditions for Floor of Log base b of x to equal Floor of Log base b of Floor of x
- Conditions for Floor of Log base b of x to equal Floor of Log base b of Floor of x/Proof 1
- Congruence Modulo Integer/Examples/531 not equiv 1236 mod 7561
- Connected Subspace of Linearly Ordered Space
- Continuity of Mapping between Metric Spaces by Convergent Sequence
- Continuous Function on Closed Real Interval is Uniformly Continuous
- Continuous Function on Closed Real Interval is Uniformly Continuous/Proof 2
- Continuous Function on Compact Space is Bounded
- Continuous iff Mapping at Limit Inferior Precedes Limit Inferior of Composition of Mapping and Sequence
- Continuous implies Increasing in Scott Topological Lattices
- Continuous Injection of Interval is Strictly Monotone
- Continuum Property implies Well-Ordering Principle
- Convergence of Odd and Even Subsequences to Same Limit
- Convergent Real Sequence has Unique Limit
- Convergent Real Sequence has Unique Limit/Proof 1
- Convergent Sequence in Hausdorff Space has Unique Limit
- Convergent Sequence in Normed Vector Space has Unique Limit
- Converse Hinge Theorem
- Coset/Examples/Subgroup of Infinite Cyclic Group
- Countable Complement Space is not Countably Compact
- Countable Complement Space is not First-Countable
- Countable Finite Complement Space is not Locally Path-Connected
- Countable Finite Complement Space is not Path-Connected
- Countable Stability implies Stability for All Infinite Cardinalities/Lemma
- Countably Infinite Set in Countably Compact Space has Omega-Accumulation Point
- Cover of Interval By Closed Intervals is not Pairwise Disjoint
- Crossbar Theorem
- Cube Root of 2 is Irrational
- Cumulative Distribution Function is Right-Continuous/Lemma
- Curry's Paradox
- Cycle does not Contain Subcycles
- Cycle Graph is Bipartite iff Order is Even

### D

- Decomposition into Product of Power of 2 and Odd Integer is Unique
- Dedekind's Theorem
- Dedekind's Theorem/Proof 2
- Dedekind's Theorem/Proof 3
- Degree of Vertex/Examples/Impossible Order 4 Graph
- Dense-in-itself Subset of T1 Space is Infinite
- Derivative of Derivative is Subset of Derivative in T1 Space
- Derivative of Exponential Function/Proof 5/Lemma
- Derivative Operator on Continuously Differentiable Function Space with Supremum Norm is not Continuous
- Deterministic Time Hierarchy Theorem
- Diameter of Closure of Subset is Diameter of Subset
- Difference of Consecutive terms of Coherent Sequence
- Differentiable Bounded Concave Real Function is Constant
- Differentiable Bounded Convex Real Function is Constant
- Differential of Differentiable Functional is Unique/Lemma
- Dihedral Group D4 is not Internal Group Product
- Dihedral Group D4 is not Internal Group Product/Proof 1
- Dirac's Theorem
- Dirac's Theorem/Proof 1
- Discrete Space is Compact iff Finite