Arithmetical Foundation by Henry Jackson