Talteori är den gren inom matematiken som rör heltalens egenskaper.