Aren't the epistemological challenges of programming merely a reflection of the epistemological challenges of mathematics in general? For example, you can deri

Aren't the epistemological challenges of programming merely a reflection of the epistemological challenges of mathematics in general? For example, you can derive numbers (and number theory) from Combinatory Logic or Lambda Calculus or Set Theory. Apparently, you can derive Set Theory from Lambda Calculus and vice versa. Tarksi proved that you can't derive "truth" from inside a given formal theory. So why should we have the ability to decide "good" or "bad" code from inside a programming language?