Deakstadieđáhus: Naturalism in mathematics