User:WP 1.0 bot/Tables/Custom/Mathematics-Foundations, logic, and set theory