аксиома

  • 131аксіома — аксиома axiom Axiom 1) Твердження певної теорії, що приймається без доведення як вихідне, таке, що є підставою для доведення інших тверджень (теорем) цієї теорії. 2) Переносно незаперечна істина, що не потребує доведень …

    Гірничий енциклопедичний словник

  • 132Аксиоматика теории множеств — Сюда перенаправляется запрос «Теория Цермело Френкеля». На эту тему нужна отдельная статья. Современная теория множеств строится на системе аксиом  утверждений, принимаемых без доказательства,  из которых выводятся все теоремы и у …

    Википедия