>>386
> 「T」という名称は全集合を意味する矛盾記号の反対で
> 空集合を意味するものです。
まず、そこから問いなおそう。
だったら、「*T*」が正解で、「¬NIL」なんじゃ
ないか? 空集合だったら「Ø」だが、あれはスカンジナビア語系の
文字なので、あんまり一般性がない。

まず、自分の思考あるいは論理体系を整理して、それを言語化して
評価されるところから始めよう。