Müasir ümumi tarazlıq anlayışı 1950-ci illərdə Kennet Errou, Jerar Debre və Lionel Makenizinin ortaq şəkildə hazırladığı bir model tərəfindən təmin edilmişdir.Jerar Debre, bu nəzəriyyəni Dəyər nəzəriyyəsində (1959) Nikolas Bourbaki tərəfindən irəli sürülən riyaziyyat üslubuna riayət edərək aksiomatik model kimi təqdim edir. Belə bir yanaşmada nəzəriyyədəki terminlərin təfsiri (məsələn, mallar, qiymətlər) aksiomalarla müəyyənləşdirilmir.

Nəzəriyyə şərtlərinin üç mühüm təfsirinə tez-tez istinad edilmişdir. Birincisi, fərz edək ki, mallar təhvil verildiyi yerə görə fərqlənir. Errou-Debre modeli, məsələn, beynəlxalq ticarətin məkan modelidir.

İkincisi, fərz edək ki, mallar təhvil verildiyi vaxta görə fərqlənir. Yəni fərz edək ki, bütün bazarlar zamanın başlanğıc anında tarazlaşır. Modeldəki agentlər, bir müqavilədə, məsələn, çatdırılmalı bir malın və təslim olunma tarixinin göstərildiyi yerlərdə alqı-satqı müqavilələri. Çağlar arası tarazlığın Errou-Debre modeli, bütün tarixlərdə bütün mallar üçün irəli bazarları ehtiva edir. Gələcək tarixlərdə bazar yoxdur.

Ümumi müvazinət analizindəki əsas suallar, müvazinətin səmərəli olacağı şərtlərlə, müvazinətin mövcud olmasına zəmanət verildikdə və müvazinətin bənzərsiz və sabit olacağı zaman tarazlığın səmərəli olacağı şərtlərlə bağlıdır.

Birinci Fundamental Rifah Teoremi bazar tarazlıqlarının Pareto səmərəli olduğunu iddia edir. Saf mübadilə iqtisadiyyatında, ilk rifah teoreminin qurulması üçün kifayət qədər şərt, üstünlüklərin yerli səviyyədə doymamasıdır. İlk rifah teoremi, istehsal funksiyasının xüsusiyyətlərindən asılı olmayaraq istehsalı olan iqtisadiyyatlar üçün də tətbiq olunur. Dolayısı ilə, teorem tam bazarları və mükəmməl məlumatları götürür. Xarici cəhətləri olan bir iqtisadiyyatda, məsələn, səmərəsiz bir tarazlığın meydana gəlməsi mümkündür.

İlk rifah teoremi, bazarlardakı təsirsizlik mənbələrini göstərməsi baxımından məlumatlıdır. Yuxarıdakı fərziyyələrə əsasən, istənilən bazar tarazlığı tautoloji cəhətdən səmərəlidir. Buna görə səmərəli olmayan tarazlıqlar yarandıqda bazar sisteminin özü günahkar deyil, əksinə bir növ bazar uğursuzluğudur.

Hər bir tarazlıq səmərəli olsa da, hər bir səmərəli bölgünün bir tarazlığın bir hissəsi ola biləcəyi ola bilər. Bununla birlikdə, ikinci teorem, hər bir Pareto səmərəli bölgüsünün bəzi qiymətlər dəstəyi ilə bir tarazlıq olaraq dəstəklənə biləcəyini bildirir. Başqa sözlə, müəyyən bir Pareto səmərəli nəticəsinə çatmaq üçün tələb olunan, agentlərin ilkin ianələrinin yenidən bölüşdürülməsidir, bundan sonra bazar öz işini görmək üçün tək qala bilər. Bu, səmərəlilik və bərabərlik məsələlərinin bir-birindən ayrıla biləcəyini və qarşılıqlı mübahisəyə ehtiyac olmadığını göstərir. İkinci teorem üçün şərtlər birincidəkindən daha güclüdür, çünki istehlakçıların üstünlükləri və istehsal dəstləri artıq qabarıq olmalıdır (qabarıqlıq, marjinal əvəzetmə nisbətlərinin azaldılması fikrinə uyğun gəlir, yəni "eyni dərəcədə yaxşı iki paketin ortalaması daha yaxşıdır" iki paketin hər ikisindən daha çox ").

Hər bir tarazlıq səmərəli olsa da, yuxarıdakı iki teoremdən heç biri əvvəldən mövcud olan tarazlıq haqqında heç nə demir. Bir tarazlığın mövcudluğuna zəmanət vermək üçün istehlakçı seçimlərinin qətiliklə qabarıq olması kifayətdir. Kifayət qədər istehlakçı ilə qabarıqlıq fərziyyəsi həm mövcudluq, həm də ikinci rifah teoremi üçün rahatlaşdırıla bilər. Eynilə, lakin daha az inandırıcı şəkildə, qabarıq mümkün istehsal dəstləri mövcudluq üçün kifayətdir; qabarıqlıq miqyaslı iqtisadiyyatı istisna edir.

Tarazlığın mövcudluğunun sübutları ənənəvi olaraq funksiyalar üçün Brouwer sabit nöqtəli teorem kimi sabit nöqtəli teoremlərə (və ya ümumiyyətlə, təyin olunmuş funksiyalar üçün Kakutani sabit nöqtə teoreminə) etibar edir. Rəqabət tarazlığına baxın # Rəqabətli tarazlığın mövcudluğu. Sübut əvvəlcə Layonel Makkenzi, və Kennet Errou və Jerer Debre ilə əlaqələndirildi. Əslində, Uzawa’nın Brouwer’in sabit nöqtə teoremini Walras qanunundan çıxardığına görə, bunun əksi də davam edir. Uzawa teoremindən sonra bir çox riyaziyyat iqtisadçısı mövcudluğu sübut etməyi iki Əsas Teoremi sübut etməkdən daha dərin bir nəticə hesab edir.

Varlığın bir başqa sübutu metodu, qlobal analiz, Sardın lemması və Baire kateqoriyası teoremindən istifadə edir; bu metod Gérard Debreu və Stephen Smale tərəfindən irəli sürülmüşdür.

• Экономического равновесия теории  // Энциклопедический словарь Брокгауза и Ефрона: В 86 томах (82 т. и 4 доп.). СПб.. 1890–1907.
• Чечулин В. Л., Черепанова Ю. А., Курыгин А. А. Экономическое равновесие (структуры и модели): монография / В. Л. Чечулин, Ю. А. Черепанова, А. А. Курыгин; Перм. гос. нац. исслед. ун-т. – Пермь, 2018. – 180 с. ISBN 978-5-7944-3123-0