【名】〔数学〕(古代ギリシアの数学で)不定命題, (定理に対する)系《定理の未定項に特定の内容を挿入するとすぐに得られるような命題や定理からただちに得られるような命題》.