Aritmatika Modular: Fondasi Konseptual, Definisi Formal, dan Aplikasi Dasar