Stav dette: Logic and reasoning in mathematics