The Vietnam math logic war over Principia Mathematica to * 56