>>522を飲んだことから、考えるとぼうずはやっぱり証明された時点で普遍的事実に切り替わると考えてないと整合性合わないよなｗ