Deakstadieđáhus: Metamatemática