A '''formal science''' is the academic study that is predominantly concerned with abstract [[formal systems]], for instance, [[logic]], [[mathematics]], and the theoretical branches of [[theoretical computer science|computer science]], [[information theory]], and [[statistics]]. | A '''formal science''' is the academic study that is predominantly concerned with abstract [[formal systems]], for instance, [[logic]], [[mathematics]], and the theoretical branches of [[theoretical computer science|computer science]], [[information theory]], and [[statistics]]. |