真実系
(xyxの造語)
真実というのは一定に定まらなくて、公理とそれから導かれる定理の集まり (系)のようなものであるという概念。
「公理」相当のものが何か分からないので系だけを先に命名