那里是由alca所运营的，用于培育守护世界和平的定理者logicalist的特别教育机关。 莉昂所进入的1年s班，有着以定理者妮娜为首的个性十足的同班同学们。 定理者雏鸟们