Proposisi dan bukti

\usepackage{amsmath}

\newtheorem{proposition}{Proposisi}
\newtheorem{proof}{Bukti}