自明性 (数学) - Wikipedia

ja.wikipedia.org