See outline of formal science on Wikipedia