نظرية النمط
في الرياضيات، المنطق، المعلوماتية، نظرية النمط هي أي نظام شكلي بإمكانه القيام مكان نظرية المجموعات البسيطة، أو دراسة التشكيل بشكل عام.
كان بيرتراند راسل هو أول من صاغ نظرية النمط وكان ذلك بسبب اكتشافه تعارضا paradoxon في نظرية المجموعات البسيطة سمية بمفارقة راسل.
| ملف:Nuvola apps edu mathematics-ar.svg | هذه بذرة مقالة عن الرياضيات تحتاج للنمو والتحسين، فساهم في إثرائها بالمشاركة في تحريرها. |
| ملف:Nuvola apps edu mathematics-ar.svg | بوابة رياضيات تصفح مقالات ويكيبيديا المهتمة بالرياضيات. |
de:Typentheorie Type theory]] eo:Teorio de tipoj es:Teoría de tipos fa:نظریه نوعها fr:Théorie des types he:טיפוס (לוגיקה מתמטית) it:Teoria dei tipi ja:型理論 nl:Typentheorie pt:Teoria dos tipos ru:Теория типов zh:类型论
