Outline of formal science