Text this: Logical foundation of mathematics for behavioral scientists