公理宇宙、そこから発生する定理の宇宙。何処かのいつかの定理宇宙の星定理、その中の証明された地球定理で阿曇は生きている。知性体が証明戦を行うそんな定理宇宙で。