Mathematical Logic § Group: 5 #group-5 Relations § Hyperreal: The study of hyperreal numbers and nonstandard analysis involves concepts from mathematical logic, such as model theory and nonstandard models.