Математическая логика — это раздел дискретной математики, изучающий математические доказательства и вопросы оснований математики. Она формализует рассуждения, отвлекаясь от содержания утверждений и концентрируясь исключительно на их логической структуре и истинности. Первой и самой базовой ступенью математической логики является логика (исчисление) высказываний.

Теория множеств, созданная Георгом Кантором в конце XIX века, является языком и фундаментом всей современной математики. Множество — это одно из первоначальных, неопределяемых понятий математики. Интуитивно под множеством понимают совокупность, собрание, набор некоторых объектов, объединенных по какому-либо признаку. Объекты, составляющие множество, называются его элементами.

Булева алгебра — раздел математической логики, в котором изучаются логические операции над высказываниями. Названа в честь английского математика Джорджа Буля. Особенность этой алгебры в том, что переменные могут принимать только два значения: "истина" (1) и "ложь" (0). Этот бинарный подход стал идеальной математической моделью для конструирования цифровых вычислительных машин и микропроцессоров.