ひと(１／等／人)しさを数えられたものとして表す１が存在することを自明である
と思うことにおいて、数学において語られる存在は、既にその自明性に依拠している。