Die Aussage übersetzt man von links nach rechts. Zu jedem p aus R gibt es ein q aus R, so dass für alle r aus R gilt, dass q kleiner als p + r ist.
Im Moment sieht es so aus, dass du schon für p=0 Probleme hast, ein q aus R zu finden, so dass für alle r aus R gilt, dass q kleiner als p + r ist. Wie willst du das dann für alle p aus R schaffen?
Und die Probleme sind auch verständlich. Die Aussage ist nämlich falsch.