P-adic number theory is the branch of mathematics which studies the properties of the $p$-adic numbers.