Dieses System müsstest Du selbst erst kreieren und publizieren. Um ein präzises überlegenes Allgemeinsystem haben sich die besten Logiker gut hundert Jahre lang bemüht. Herausgekommen ist als einfachstes bisher ZF, andere Systeme sind nachweislich komplizierter. Schau Dir einmal die Geschichte von NBG an und vielleicht sogar die komplizierten Originalwerke, wo sich prominenteste Logiker darum bemüht haben, die Axiomenschemata von ZF durch endlich viele Axiome zu ersetzen. Die Intuition scheint immer schön einfach zu sein. Die logisch stringente Formalisierung hat's aber in sich.-- Wilfried Neumaier 11:58, 14. Jun. 2011 (CEST)