AGI research remains empirical and lacks a foundational theoretical framework. A central tension exists between computationalism and undecidable problems, as AIXI illustrates. The author proposes that continuous causal embedding with the environment may be a missing axiom, and calls for discovering fundamental constraint principles that bound any physically realizable intelligence.