Inter-universal geometry と ABC予想 (応援スレ) 77

高卒の世田にもっといいことを教えてやろう

不動点コンビネータの典型例であるYコンビネータは・・・対角線論法の副産物
https://ja.wikipedia.org/wiki/%E4%B8%8D%E5%8B%95%E7%82%B9%E3%82%B3%E3%83%B3%E3%83%93%E3%83%8D%E3%83%BC%E3%82%BF