Category:Mistakes/Logic for Mathematicians