[显示"修订历史"] [显示"一般信息"] [显示"网页点击次数和编辑次数"]
网页大小：735
此页正文的SHA编码： 6F67B484E7A91B0D034C2636A119F827A646F55D
此页包含 0 个附件。
此页连到以下网页： 一阶谓词逻辑, 量词, 存在量词, 棱柱, 多面体.
