不需要證明就可以認為是真的假設，例如，由一點到另一點可以引一條直線。