علوم رسمية، علوم شكلية هي العلوم التي تهتم بالأنظمة الشكلية كالرياضيات والإحصاء وعلوم الحاسوب والمنطق وتقنية المعلومات. هي على عكس العلوم التجريبية، لا تعتمد في تحديد صحة نظرياتها على المشاهدة و الاستنتاج.