Quine published his original description of the system Mathematical Logic in 1940 .
In 1942 Rosser showed it was inconsistent .
Quine published his original description of the system Mathematical Logic in 1940 , but in 1942 Rosser showed it was inconsistent .