初等ダイアグラム使えばモデルなんて必要ないよ。
PA上での完全性定理は田中さんの本で多少触れられている。