>>366
ペアノ公理系が「怪しい」のはもろに集合論からなんですが…。