Axo는 거래 완전 대수라는 새로운 개념을 기반으로 하는 분산형 거래 프로토콜로, 모든 금융 행동을 수학적 방식으로 표현할 수 있습니다. 거래 완전 대수를 컴퓨터 코드에 체계적으로 적용한 결과, 개발자가 모든 금융 계약을 표현할 수 있지만 임의의 코드를 실행할 수 없는 프로그래밍 언어인 xlang이 개발되었습니다. Axo는 이러한 금융적 유연성을 "Turing complete"라고 부르는데, 이는 충분한 시간과 리소스가 주어지면 모든 프로그램을 실행할 수 있는 시스템을 의미하는 것입니다.