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