>>41
それらの体系には無限個の公理が存在しますがどうやって整列させますか?