@kururu_goedel: @t_uda 基数に関する何を勉強しようとしているかにもよりますが、初等的な部分に関しては公理系はほとんど関係ないと思います。2010-12-08 23:59:40 via Seesmic Desktop to @t_uda @kururu_goedel: CS unpluggedのサイトにあったオートマト…