# Category:Handwaving

Jump to navigation
Jump to search

These are pages containing proofs that contain handwaving arguments.

See the handwaving template.

## Pages in category "Handwaving"

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

### C

- Cantor-Bernstein-Schröder Theorem
- Cantor-Bernstein-Schröder Theorem/Proof 1
- Cantor-Bernstein-Schröder Theorem/Proof 4
- Cardinality of Infinite Union of Infinite Sets
- Circle Group is Infinite Abelian Group
- Circle Group is Infinite Abelian Group/Proof 2
- Closure of Subset of Metric Space by Convergent Sequence
- Complex Roots of Unity in Exponential Form
- Definition:Conditional Preference
- Definition:Constructed Semantics/Instance 2/Factor Principle
- Definition:Constructed Semantics/Instance 2/Rule of Addition
- Definition:Constructed Semantics/Instance 2/Rule of Commutation
- Definition:Constructed Semantics/Instance 3/Factor Principle
- Definition:Constructed Semantics/Instance 4/Factor Principle
- Definition:Constructed Semantics/Instance 4/Rule of Addition
- Definition:Constructed Semantics/Instance 5/Rule of Addition
- Content of Scalar Multiple
- Continued Fraction Expansion of Irrational Square Root/Examples/2
- Continuously Differentiable Curve has Finite Arc Length
- Continuum Property
- Continuum Property/Proof 1
- Convergent Sequence with Finite Number of Terms Deleted is Convergent
- Cook-Levin Theorem
- Cosine of Integer Multiple of Argument/Formulation 9
- Countably Compact First-Countable Space is Sequentially Compact
- Countably Compact First-Countable Space is Sequentially Compact/Proof 2

### D

### E

### F

### I

### L

- Lebesgue Measure is Diffuse
- Lexicographic Order on Products of Well-Ordered Sets
- Limit of Sine of X over X
- Limit of Sine of X over X/Geometric Proof
- Limsup and Liminf are Limits of Bounds
- Linear Combination of Integrals/Definite
- Linear Combination of Integrals/Definite/Proof 2
- Linear Combination of Measures

### N

### P

- Polynomials Closed under Addition/Polynomials over Ring
- Polynomials Closed under Ring Product
- Prim's Algorithm produces Minimum Spanning Tree
- Principal Ideal of Principal Ideal Domain is of Irreducible Element iff Maximal
- Principal Ideal of Principal Ideal Domain is of Irreducible Element iff Maximal/Reverse Implication
- Probability Generating Function defines Probability Distribution
- Product Rule for Counting

### R

### S

- Set of Successive Numbers contains Unique Multiple
- Sine of Integer Multiple of Argument/Formulation 9
- Smooth Homotopy is an Equivalence Relation
- Soundness Theorem for Semantic Tableaus
- Strictly Positive Real Numbers under Multiplication form Uncountable Abelian Group
- Subgroup of Additive Group of Integers Generated by Two Integers
- Sum of Möbius Function over Divisors/Lemma
- Sum of Reciprocals of Powers as Euler Product
- Sum of Reciprocals of Powers as Euler Product/Proof 2