raはペアノの算術と集合論を記述するのでゲーデルの不完全性定理が適用され、raは不完全であり完全化不能であり決定不能である(一方、raにおけるブール代数は完全で決定可能)。