The Code of Virginia contains rules about individuals and situations that have not yet been chosen or specified except as members of the set of those within the jurisdiction of the laws at some relevant time.
Does the Code of Virginia depend on the Axiom of Choice?
This is a continuation of the prior blog post.
The answer is no. We can reason about indefinite individuals or circumstances by specifying only a little bit of constraining information. Using that information we then reason about indefinite or unknown individuals and other variables.
This is the use of variables and does not require the Axiom of Choice.
This is an example of how grades K-6 need access to understand logic and set theory in a way that is accessible to them.