Title: A semantically complete foundation for logic and mathematics