Foundations

Basic proof language, sets, functions, and probability tools used throughout the textbook.