kwantyfikatory ???: Zapisać za pomocą kwantyfikatorów i znaków matematycznych. między dowolnymi dwiema liczbami rzeczywistymi istnieje trzecia.

Jack: ∀x∊R ∀y∊R ∃z∊R (x<z<y)