sets, functions and vectors, language and proof

Overview