Philosophy

Preface

How this volume defines the ground layer of mathematics: language, structure, and method before specialization.

Consequences of incompleteness for truth, provability, independence, and the structure of formal systems.

Language, structure, methodology, and cross-cutting tools that apply across all branches of mathematics.