Text this: Small sets in convex geometry and formal independence over ZFC