Gödel numbering
Example

In the specific Gödel numbering used by Nagel and Newman, the Gödel number for the symbol "0" is 6 and the Gödel number for the symbol "=" is 5. Thus, in their system, the Gödel number of the formula "0 = 0" is 2 × 3 × 5 = 243,000,000.
length_constraints:number_words[477], detectable_format:title, combination:repeat_prompt