Title: Logical Foundation for Potentialist Set Theory