Geahča maid: Set theory and Logic