1001コメント309KB

数学基礎論の質問スレッド　その２

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

0411１３２人目の素数さん

2006/07/02(日) 02:57:53

なんかわけわかんないんだけど、
|-
って、どういう意図で使ってるの？
ZFの後の|-と、Qの後の|-はどう違うの？

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