The concept of "a number that cannot be written as a product of two other numbers" just is. It might happen in some setting that none exist, but the general concept most certainly just is (and they can be shown to exist among the natural numbers if you insist - but they do not exist in e.g. Z_2 - the binary field).
