Tekstiviesti: Set theory and its logic