Logic Theorist soon proved 38 of the first 52 theorems in chapter 2 of the Principia Mathematica.
間もなく Logic Theorist は『プリンキピア・マテマティカ』の第2章にある52の定理のうち38を証明してみせた。