Мы используем Cookies Этот веб-сайт использует cookie-файлы, чтобы предлагать вам наиболее актуальную информацию. Просматривая этот веб-сайт, Вы принимаете cookie-файлы.
Fundamental concept in metalogic, and the term may be used without qualification with differing meanings depending on the context within mathematical logic.
(In the mathematical area of order theory) completeness properties assert the existence of certain infima or suprema of a given partially ordered set (poset)