Kleene's original version of realizability uses natural numbers as realizers for formulas in Heyting arithmetic.
Kleene's original version of realizability employs natural numbers as realizers for formulas in Heyting arithmetic.