The Open Logic Project — колекція навчальних матеріалів з математичної логіки для нематематиків. Всі матеріали — з відкритим кодом (можна завантажити LaTeX код) і у вільному доступі з можливістю модифікувати і ділитися своїми версіями. Команда використовує платформу GitHub для своїх розробок і поширює контент під ліцензією Creative Commons Із зазначенням авторства 4.0 міжнародна.
В одному з розділів ідеться про теорему Льоба — теорему в математичній логіці про взаємозв’язок між доказовими твердження і самим твердженням — і доводиться існування Санта Клауса: “якщо X вірне, то Санта Клаус існує” — ґрунтуючись на нашому припущенні, що X вірне, ми приходимо до висновку, що Санта Клаус існує.