log

age author description
2019-07-15 Shinji KONO infinite continue...
2019-07-14 Shinji KONO Union trans finite
2019-07-13 Shinji KONO explict logical definition of Union failed
2019-07-11 Shinji KONO differeent Union approach
2019-07-10 Shinji KONO union continue
2019-07-10 Shinji KONO union trying ..
2019-07-09 Shinji KONO union continue ...
2019-07-09 Shinji KONO power set
2019-07-09 Shinji KONO recovering...
2019-07-08 Shinji KONO fix some
2019-07-08 Shinji KONO only ordinal-definable.agda is finished. it assmues all ZF Set are Ordinals. release
2019-07-08 Shinji KONO give up
2019-07-08 Shinji KONO ...
2019-07-08 Shinji KONO ord-Ord causes od→ord x o< od→ord y → y ∋ x,