Deakstadieđáhus: Síntesis de aritmética racional