jpdb beta

① 不足しているところを補う助けとなるもの。

① 公理により証明された命題または数学的な主張。