يتم تعريف النظام الشكلي بشكل واسع النطاق على أنه أي نظام تفكير تجريدي قائم على نموذج رياضيات.
A formal system is broadly defined as any well-defined system of abstract thought based on the model of mathematics.