Thus the usual proof of the first incompleteness theorem can be used to show that Q is incomplete and undecidable.
したがって第一不完全性定理の通常の証明はQが不完全で決定不能であることを示すのに使える。