>>119
We end up with a body of truths about sets
- sets which includes the basic properties of 〜, but (includes) no contradictions.
butは接続詞で、意味は逆説。「Aを含むがBを含んでいない」
で意味は通るのではないかな（数学で使う表現に関して自信がない）
as far as is knownはそういう決まり文句ということですませて、くわしい説明は勘弁願いたい。文の流れ的に「これまでに確認されているかぎり」といった気持ちかと

among other thingsは「他にも要素はありますが」という気持ちが含まれているとは思いますが「中でも」でもまったく誤訳ではない