From Wikipedia, the free encyclopedia
نظریه برهان شاخهای از منطق ریاضی ست که برهانها را به عنوان یک شئ صوری ریاضی در نظر میگیرد تا تجزیه و تحلیل آنها به کمک تکنیکهای ریاضی را آسانتر نماید.[1] نظریه برهانها دارای طبیعتی نحویست، در مقابل نظریه مدلها که از جنس معناشناسی است. به همراه نظریه مدلها، نظریه مجموعهها مبتنیبر اصول موضوع، و نظریه بازگشتی، نظریه برهانها یکی از اصول چهارگانه را در بنیانهای ریاضیّات را تشکیل میدهد.[2][3]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.