Text this: Sets, Logic, and Axiomatic Theories