Proof WritingHardWhat a Proof Is
What a Proof Is · Hard problem
A proof contains the step " and , so ". What is the smallest positive integer showing the step is invalid?
A proof contains the step " and , so ". What is the smallest positive integer showing the step is invalid?