From Undecidability of Non-Triviality and Finiteness to Undecidability of Learnability