Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
В 1380 году ханом стал Тохтамыш. Он укрепил центральную власть, но в 90-х годах был разбит Тамерланом и от этого удара Орда уже не оправилась. В начале XV века начался распад государства: в 1420 или 1421 году образовалось Сибирское ханство, в 1428 - Узбекское ханство, в 1438 - Казанское, в 1440 - Ногайская Орда, в 1441 - Крымское ханство. После смерти Кичи-Мухаммеда (1459) Золотая орда перестает существовать как единое государство. То, что осталось от Золотой Орды называлось Большой Ордой и именно она считается преемницей Золотой Орды.
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.