3
Розрахунки таблиць лавер та алгоритм, який, як відомо, не закінчується в ZFC
У таблицях Laver наведено приклади програм, за якими не було показано, що вони закінчуються в стандартній аксіоматичній системі математики ZFC, але вони припиняються, коли приймаються дуже великі кардіологічні аксіоми. Вступ Класичні столи Laver є єдиними кінцевими алгебри з основним безліччю і операція , яка задовольняє ідентичності і де для і …