در این پایان نامه توپوس f مجموعه ها را که به عنوان توپوس فرانکیل مستوسکی شناخته شده است معرفی خواهیم کرد ونشان می دهیم که رسته جبرهای بولی در این توپوس به اندازه کافی شئ انژکتیو دارد. سپس اصل خوش ترتیبی در یک توپوس مقدماتی و برخی از شکل های معادل اصل انتخاب در یک توپوس خوش نقطه را مطالعه خواهیم کرد و روابط بین اصل خوش ترتیبی و این شکل ها را نشان می دهیم.