Has everyone read limited Tale a few boy with a generation ship using an AI that may be raising children? one Is there a finitely axiomatizable principle which can be axiomatized by an infinite amount of equations although not a finite selection? The story starts using this blue-haired MC standing https://kameronafecy.thenerdsblog.com/43527990/eclipse-can-be-fun-for-anyone