The Laver tabel memberikan contoh program yang belum ditampilkan untuk mengakhiri dalam sistem aksiomatik standar matematika ZFC tetapi yang berakhir pada saat kita menganggap aksioma kardinal yang sangat besar. pengantar Tabel Laver klasik adalah aljabar terbatas yang unik dengan himpunan yang...