Which among the following are undecidable theories?

• A. The first order theory of boolean algebra
• B. The first order theory of Euclidean geomentry
• C. The first order theory of hyperbolic geometry
• D. The first order theory of the natural number with addition, multiplication, and equality