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