الشكلية هي منهج في فلسفة الرياضيات يرى أن بيانات الرياضيات والمنطق عبارة عن عبارات حول نتائج التلاعب بسلاسل رمزية وفق قواعد نحوية محددة؛ المفهوم الرئيسي أن الرياضيات تشبه لعبة قواعدية لا تلتزم بوجود كيانات رياضية، وأن العبارات الرياضية نحوية بحتة لا تحمل معنى إلا عند تفسيرها، وتختلف عن المنطقانية والحدسية في نطاق تطبيقها الواسع.