>>743
> あと、wikiは素人が書くせいか、いい加減なのが多い。あんまり信用しないが吉。
> mathworld のは、ペアノの公理（一階の述語論理上の公理系ではなく、集合論上の公理）だから、問題なし。

手元にあるスマリヤンの「ゲーデルの不完全性定理」
ttp://www.amazon.co.jp/exec/obidos/ASIN/4621042041/503-0279183-2578313
を見たが、「ペアノの数論 P.A.」の原子記号として ' を入れる流儀だった
スマリヤンは、素人でいい加減なのか、
P.A. と称して実は集合論上の公理を載せてるのかどっち？