981コメント443KB

数学基礎論・数理論理学　その14

■ このスレッドは過去ログ倉庫に格納されています

0485１３２人目の素数さん

2014/02/08(土) 19:15:51.59

論理式全体の集合もREですから

■ このスレッドは過去ログ倉庫に格納されています