Las proposiciones concernientes al sistema clásico son creadas a partir de proposiciones básicas, como la siguiente: sean "a", "b" números reales