A Henkin sentence is a self-referential statement that asserts its own provability…
Sign in to your account
Remember me
