「数学のロジック」とタイトルにあるのに、全くロジカルではありません。