You can say that a certain axiom system models a certain part of reality in an ideal way. But whatever is ideal, is also real, because otherwise there is nothin

You can say that a certain axiom system models a certain part of reality in an ideal way. But whatever is ideal, is also real, because otherwise there is nothing that could model anything. So your intersection of reality and ideality is just ideality itself.