形式的システム、ゲーデルの不完全性定理、圏論、および自然科学における数学の有効性が提起する哲学的問題の探求。準備中。