Title: Establishing a Foundation for the Mathematics of Ideas Based on Set Theory and Logic