An a priori proposition is part of a Russell's philosophy