>>673
ペアノの公理がソースw