Adam Krawczyk: strona autora

Niezależność twierdzenia Goodsteina