# HG changeset patch
# User Shinji KONO <kono@ie.u-ryukyu.ac.jp>
# Date 1565568256 -32400
# Node ID fe8392f527eb3954f5522262128a0393a240ffda
# Parent  6bb5d57c9561b336b32c6b2b6afed29f50c63fae# Parent  cb6f025a991ea700ad16ea70ab516eaa29554d1f
axiomaized ordinals. filter and cardinal are incomplete