text: **Mathematical logic**
  
  The term "mathematical logic" is sometimes used as a synonym of "formal logic". But in a more 
  restricted sense, it refers to the study of logic within mathematics. Major subareas include model theory, 
  proof theory, set theory, and computability theory.[164] Research in mathematical logic commonly 
  addresses the mathematical properties of formal systems of logic. However, it can also include attempts 