ფორმალური მეცნიერებები

ფორმალური მეცნიერებები — მეცნიერებათა ერთობლიობა, რომელიც სწავლობს ფორმალურ სისტემებს. ფორმალურ მეცნიერებებს მიეკუთვნება: 
ლოგიკა 
მათემატიკა
სტატისტიკა
სისტემოლოგია
მონაცემთა მეცნიერება
ინფორმაციის თეორია
ინფორმატიკა
კრიპტოგრაფია