问答题 在G1内列出每两个结点间距离。

问答题 A12，A13，A14，A22。

问答题 将命题“对于每一个实数x，存在一个更大的实数y”符号化。