sentences:  Kleene's original version of realizability uses natural numbers as realizers for formulas in Heyting arithmetic.The following clauses are used to define a relation ""n" realizes "A"" between natural numbers "n" and formulas "A" in the language of Heyting arithmetic.A few pieces of notation are required