Пусто́е мно́жество — множество, не содержащее ни одного элемента. Из аксиомы объёмности следует, что есть только одно множество, обладающее таким свойством. Пустое множество является своим (тривиальным) подмножеством, но не является своим элементом.
Валентин Алекса́ндрович Бажа́нов — советский и российский философ, доктор философских наук, заслуженный деятель науки Российской Федерации.
Ри́чард Ме́ретт Монтегю́ — американский математик, философ. Его наиболее известные исследования посвящены семантике и прагматике естественного языка, математической логике и теории множеств. Монтегю — основатель модельно-теоретического подхода к семантике естественного языка, часто называемого грамматикой Монтегю.
Сол Аарон Крипке — американский философ и логик. Почётный профессор Гарвардского университета, заслуженный профессор Высшей школы и Университетского центра Городского университета Нью-Йорка. Лауреат премии Рольфа Шока по философии и логике (2001), согласно одному из опросов, входит в десятку наиболее важных философов последних 200 лет.
Да́на Стю́арт Скотт — американский математик, известный работами в области математической логики и информатики.
Кла́ус Ко́нрад Клостерма́йер — немецко-канадский религиовед и индолог, член Королевского общества Канады (1997), заслуженный профессор Манитобского университета (1986), заведующий кафедрой религиоведения Манитобского университета (1986—1997), глава Центра азиатских исследований (1990—1995), автор 12 монографий и более 100 научных статей. В круг профессиональных интересов Клостермайера входили изучение индийских религий, взаимоотношений науки и религии, а также межрелигиозный диалог.
Фредрик Дже́ймисон (Дже́ймсон) — американский литературный критик и теоретик марксизма. Профессор сравнительного литературоведения и романских исследований в Университете Дьюка.
Основа́ния матема́тики — система общих для всей математики понятий, концепций и методов, с помощью которых строятся различные её разделы.
Каарло Яакко Юхани Хинтикка — финский философ и математик. Эксперт в различных областях математической логики, теории игр, философии математики, эпистемологии, философии науки, метафизики, а также в других философских специализациях и сопутствующих исторических вопросах, среди которых теории Аристотеля, Рене Декарта и Людвига Витгенштейна. Иностранный член Российской академии наук (1999). Лауреат Премии Рольфа Шока (2005).
Альберт Григорьевич Драгалин — советский математик, логик-конструктивист, внёсший весомый вклад в интеграцию советской школы конструктивной математики в общемировую систему математико-логического знания. В 1970-х — начале 1980-х годов — доцент МГУ, в 1990-х — профессор Дебреценского университета. Основные работы — по теории доказательств, интуиционизму, нестандартному анализу.
Гипотеза Такеути — утверждение об устранимости сечений в исчислении секвенций для простой теории типов, построенной Гаиси Такеути в 1953 году. Методологическая важность гипотезы состояла в том, что устранимость сечений для этого исчисления открывает путь к доказательствам корректности, непротиворечивости и полноты для широкого класса логик высших порядков, по аналогии с результатом Генцена 1934 года для классического и интуиционистского исчислений предикатов первого порядка.
Логика высшего порядка в математике и логике — форма предикатной логики, которая отличается от логики первого порядка дополнительными предикатами над предикатами, кванторами над ними, и, соответственно, более богатой семантикой. Логики высшего порядка с их стандартными семантиками более выразительны, но их модельно-теоретические свойства значительно более сложны для изучения и применения по сравнению с логикой первого порядка.
Жерар Пьер Юэ — французский учёный в области информатики, математики и лингвистики. Является главным научным директором по исследованиям в INRIA и наиболее известен благодаря значительному вкладу в теорию типов, теорию языка программирования и теорию алгоритмов.
Георге Пеун — румынский математик, член Союза писателей Румынии и член Румынской академии. Редактор журнала «„Curtea de la pu Argeș“».
Моше Яаков Варди — израильский математик и информатик, почётный профессор информатики Университета Райса, директор Института информационных технологий Кена Кеннеди.
Исчисление секвенций — вариант логических исчислений, использующий для доказательства утверждений не произвольные цепочки тавтологий, а последовательности условных суждений — секвенций. Наиболее известные исчисления секвенций — 
и 
для классического и интуиционистского исчислений предикатов — построены Генценом в 1934 году, позднее сформулированы секвенциальные варианты для широкого класса прикладных исчислений, теорий типов, неклассических логик.
Ультрафинитизм — крайняя форма финитизма, проявляемая в ряде математических и философско-математических концепций и теорий. Общим для всех форм математического финитизма является отказ от использования интуитивно сомнительной абстракции актуальной бесконечности, например, бесконечного множества натуральных чисел как законченного, завершённого в построении объекта; ультрафинитизм же отрицает или считает малосодержательной абстракцией и потенциальную бесконечность, то есть возможность построения сколь угодно больших конструктивных объектов; как следствие отрицается, например, применимость арифметических операций ко всем натуральным числам.
Никола́й Семёнович Романо́вский — советский и российский математик, специалист по теории групп, доктор физико-математических наук, профессор, ведущий научный сотрудник Института математики им. С. Л. Соболева, известный учёный сибирской школы алгебры и логики.
Турникет — в математической логике и информатике символ 
называется «турникетом» из-за его сходства с типичным турникетом, если смотреть сверху. Он также упоминается как «тройник» и часто читается как «даёт», «доказывает», «удовлетворяет» или «влечёт за собой».
