Ateisma teoretis sacara eksplisit mambari'i argumen menentang kaba'adaan tuhan, dan sacara aktif merespon lawan argumen teistik mengenai kaba'adaan tuhan, nangkaya pariannya argumen matan rancangan dan taruhan Pascal. Ta'ulih bamacam alasan-alasan teoretis gasan manampik kaba'adaan tuhan, utamanya sacara ontologis, gnoseologis, dan epistemologis. Suwalih naitu ta'ulih jua alasan psikologis dan sosiologis.