Математика в своем широком значении - это разработка всех типов формальных, необходимых, дедуктивных рассуждений.