Deakstadieđáhus: Proof and knowledge in mathematics