En aritmética, álgebra y análisis matemático, sistema numérico es un conjunto provisto de dos operaciones que verifican ciertas condiciones relacionadas con las propiedades conmutativa, asociativa y distributiva. El conjunto de los números enteros, los racionales o los reales son ejemplos de sistemas numéricos, aunque los matemáticos han creado muchos otros sistemas numéricos más abstractos para diversos fines. Además debe tenerse en cuenta que dado un sistema numérico existen diversas formas de representarlo, por ejemplo, en los enteros podemos usar a representación decimal, la binaria, la hexadecimal, etc. En los racionales podemos optar por no expresarlos de manera decimal o como fracción de enteros, etc.

Los sistemas numéricos se caracterizan por tener una estructura algebraica (monoide, anillo, cuerpo, álgebra sobre un cuerpo), satisfacer propiedades de orden (orden total, buen orden) y propiedades topológicas y analíticas (densidad, metrizabilidad, completitud) adicionales.