Kokonaisluku
Koska lukuteoriassa käytetään kokonaislukujen osajoukkoja, on paikallaan esitellä niiden nimityksiä. Ne kiertävät pääsääntöisesti sen tosiasian, että nolla ei ole positiivinen tai negatiivinen luku. Positiivisuus ja negatiivisuus yhdessä luvun nolla kanssa voidaan joskus ilmaista esimerkiksi seuraavilla tavoilla:
Kosmologinen todistus
Tätä todistusta vastaan on väitetty, ettei sarjalla tarvitse välttämättä olla ensimmäistä jäsentä: esimerkiksi negatiivisten kokonaislukujen sarjalla on viimeinen (-1) mutta ei ensimmäistä jäsentä.. Esimerkiksi Leibniz ei hyväksynytkään todistusta Tuomas Akvinolaisen esittämässä muodossa, mutta väitti, että kaikkeudella kokonaisuudessaan on oltava jokin ulkoinen syy, joka on olemassa mistään edeltävistä syistä riippumatta, siis Jumala.. Tähän vuorostaan Immanuel Kant huomautti, että ajatus, että jokin olio olisi ehdottoman välttämättömästi olemassa, edellyttää, että ontologinen todistus olisi jossakin muodossa pätevä, minkä hän kuitenkin oli itse väittänyt kumonneensa.