Наочна область , область об'єктів, універсум міркування, універсум розгляду, або просто універсум, клас (безліч) об'єктів, що розглядаються в межах даного контексту. Під контекстом тут може розумітися окреме міркування або фраза, що виражає його, або сукупність фраз, фрагмент наукової теорії або теорія в цілому. Наприклад, в теорії чисел П. о. служить натуральний ряд (безліч цілих ненегативних чисел), в математичному аналізі — безліч дійсних чисел, в ботаніці — безліч всіх рослин (точніше, рослинних видів), а в численні предикатів або логіці класів — будь-яка фіксована непорожня область. П. о., називається також універсальним безліччю, протиставляється в логіці і теорії безлічі т.з. порожній безлічі (класу, області), що не містить жодного предмету даного вигляду і що є її доповненням. Загальноприйняте представлення о П. о. саме як про фіксованої області об'єкту (згідно з яким, наприклад, в теорії чисел доповненням до безлічі парних чисел служить безліч непарних чисел, а зовсім не «безліч всіх мислимих об'єктів, що не є парними числами», в яке повинен був би входити, наприклад, і даний екземпляр енциклопедії, і взагалі «все на світі», окрім парних чисел) йде від Дж. Венна ; воно змінило ту, що панувала до того (що виходила від Р. Фреге ) концепцію «універсальною» П. о., що приводить до парадоксам .
