Knot and link diagrams are used to represent nonstandard sets, and to represent the formalism of combinatory logic (lambda calculus). These diagrammatics create a two-way street between the topology of knots and links in three dimensional space and key considerations in the foundations of mathematics.