0725132人目の素数さん垢版 | 大砲2018/05/08(火) 21:45:41.91ID:xYbUHu2K 巨大数界隈の人ら、何で皆して ちゃんと勉強もせずに述語論理とか順序数について デタラメな事ばかり言い散らかすの? 全くwell-definedでない関数を well-definedだと強弁したり、二階述語論理なんて カケラも知らないのに一階論理は函数の再帰的定義が 出来ないとか言ってみたり