Yeah, it is just functions that take in two sentences and put both their Godel numbers into a fixed formula (with 2 inputs).
Yeah, it is just functions that take in two sentences and put both their Godel numbers into a fixed formula (with 2 inputs).