This site is supported by donations to The OEIS Foundation.

# A000000

From OeisWiki

**The empty sequence.**

### Sequence

### Offset

1,1

### Comment

- TO READ OR WRITE MORE COMMENTS, PLEASE DO SO AT PAGE The empty sequence AS THIS PAGE (A000000) MAY BE REMOVED!
- The A-number A000000 is inadmissible in the main OEIS (it might have been used for the empty sequence, except that since that sequence has no terms, the lookup programs would not be able to handle it).
- It is very fitting for the empty sequence to be sequence A000000 since it is
**the only sequence with cardinality 0**. -
as there is only one empty sequence, even though it is the “solution” (so to speak) of a countably infinite number of unsatisfiable sequence definitions (or enunciable problems without solutions).*The*empty sequence - Any
**sequence whose definition is not satisfiable**results in the empty sequence. - We may consider sequences whose definition are conjectured not satisfiable (sequences conjectured empty) and sequences whose definition are proved not satisfiable (sequences proved empty).

### Links

- Weisstein, Eric W., Goldbach Conjecture, from MathWorld—A Wolfram Web Resource. [http://mathworld.wolfram.com/GoldbachConjecture.html]
- Weisstein, Eric W., Fermat's Last Theorem, from MathWorld—A Wolfram Web Resource. [http://mathworld.wolfram.com/FermatsLastTheorem.html]
- Weisstein, Eric W., Fermat's Polygonal Number Theorem, from MathWorld—A Wolfram Web Resource. [http://mathworld.wolfram.com/FermatsPolygonalNumberTheorem.html]

### Example

- TO READ OR WRITE MORE EXAMPLES, PLEASE DO SO AT PAGE The empty sequence AS THIS PAGE (A000000) MAY BE REMOVED!

- Even numbers

which are not the sum of at most 2 odd primes. (Cf. “strong” Goldbach conjecture.)*n*≥ 6 - Odd numbers

which are not the sum of at most 3 odd primes. (Cf. “weak” Goldbach conjecture.)*n*≥ 9

- Positive integers

such that*n*

. (Cf. Andrew Wiles’ proof (final corrected proof published in 1995) of Fermat’s last theorem (proposed in 1637, proof never found).)*n**k*=*a**k*+*b**k*,*k*≥ 3,*a*> 0,*b*> 0 - Positive integers

that are not the sum of at most*n*

(not neccessarily distinct)*k*

-gonal numbers. (Cf. Cauchy’s proof (1813) of Fermat’s polygonal number theorem (proposed in 1638, proof never found).)*k*

### Crossrefs

- Cf. The empty sequence.
- Sequence in context:
- Adjacent sequences: * A000001 A000002 A000003

### Keyword

nonn,easy

### Author

_Daniel Forgues_, Jun 15, 2010

### Status

The A-number A000000 is inadmissible in the main OEIS (it might have been used for the empty sequence, except that since that sequence has no terms, the lookup programs would not be able to handle it).