在游戏星际战甲里，Limbo定理任务开始时玩家要做火星的Syrtis的拦截任务，收集足够的敌人掉落物，再来到地球的Cambria挖掘300晶矿。然后会再让玩家到火星的Syrtis收集数学证明片段（如果数量足够就不用收集），再到火星的Martialis挖掘300晶矿，最后会来到欧罗巴上做挖掘任务，机体制造完成后，任务就会圆满结束。