  Frege supposed that a mathematical claim such as ‘\(2\) is prime’ should be formally represented as ‘\(P(2)\)’. The verb phrase ‘is prime’ is thereby analyzed as denoting the concept \(P(\:)\) which maps primes to The True and everything else to The False. Thus, a simple predication like ‘\(2\) is prime’ becomes analyzed in Frege’s system as a special case of functional application.