abstract We begin the systematic model theoretic study of $\mathrm{C}^*$-algebras using the tools of continuous logic.