>>288
歴史的背景についてはそのように書いてあるが
公理化に失敗したような話はどこに書いてある?