Goodman-Myhillova věta

Z Wikipedie, otevřené encyklopedie

Goodman-Myhillova věta je matematické tvrzení, že z axiomu výběru plyne zákon vyloučení třetí možnosti. Před Goodmanem a Myhillem ji dokázal již Errett Bishop v roce 1967.

Používá se například v jazyce Lean pro dokazování tvrzení s využitím klasické logiky (zákon vyloučení třetí možnosti v intuicionistické logice, na které je Lean založen, obecně neplatí).

Citováno z „https://cs.wikipedia.org/w/index.php?title=Goodman-Myhillova_věta&oldid=22395099“