Цей шаблон містить код, запозичений (починаючи з версії № 15314590) з шаблону «Mathematical logic» англійської Вікіпедії.