Les Fondements logiques des mathématiques - Beth, Evert Willem (1955)