Syntherion, and Syntherion with the Prime Axiom