👉 Assertion (logic)[^1]

=== a statement, that asserts (claims) that a certain premise is true==