>>451-452
ふっふ、ほっほ

”近藤友祐 神戸大学工学部電気電子工学科3 年”
「数学を数学するお話 数理論理学」>>344

"渕野 昌「構成的集合と公理的集合論入門」"
「ゲーデルと20世紀の論理学第４巻」（東京大学出版会，2007）　執筆した第I部>>361

この二つとも
キーワード 例化
で 検索かけたが、ヒットは皆無
（目でも確認した）

文字 x,y,・・, a,b,c ・・・
∀,∃
を使うことは、数学をやる人々にとって
空気みたいなもの

わざわざ目くじらたてて
説明するほどのことでなし

”存在例化”で
選択公理の存在のみが
例化され、固定されると
個人の誤解を口走る アホがいただけのことですｗ ；ｐ）