An undefinable something about the room seemed to suggest masculine habitation.

这个屋子有种说不清的东西，似乎暗示这里有男人居住。

I think that she's really undefinable; I know that sounds quite - like an odd thing to say, but it's very hard to figure out what she was.

我认为对于她真的很难下定义；我知道那听上去相当-说出来会很奇怪，但是很难搞清楚她是什么。

The logical formulas are an ordered binary pair, the first element is an assertion and the second is a definable domain or approximations of undefinable domain corresponding to the assertion.

这种逻辑公式的结构是有序二元对，第一元是断言；第二元是对应于这个断言的可定义集或不可定义域集的近似集。