Set-based foundations