0841132人目の素数さん垢版 | 大砲2024/03/16(土) 23:12:43.81ID:REZvRVWI ∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、これこれが証明可能であるなんて、∃(x ÷1)野郎に分かるわけないじゃん