OpenLLM-France/wikimedia huggingface dataset:
# Metatheorem

In logic, a metatheorem is a statement about a formal system proven in a metalanguage. Unlike theorems proved within a given formal system, a metatheorem is proved within a metatheory, and may reference concepts that are present in the metatheory but not the object theory.
A formal system is determined by a formal language and a deductive system (axioms and rules of inference). The formal system can be used to prove particular sentences of the formal language with that system. Metatheorems, however, are proved externally to the system in question, in its metatheory. Common metatheories used in logic are set theory (especially in model theory) and primitive recursive arithmetic (especially in proof theory). Rather than demonstrating particular sentences to be provable, metatheorems may show that each of a broad class of sentences can be proved, or show that certain sentences cannot be proved.

## Examples

Examples of metatheorems include:
* The deduction theorem for first-order logic says that a sentence of the form φ→ψ is provable from a set of axioms A if and only if the sentence ψ is provable from the system whose axioms consist of φ and all the axioms of A.
* The class existence theorem of von Neumann–Bernays–Gödel set theory states that for every formula whose quantifiers range only over sets, there is a class consisting of the sets satisfying the formula.
* Consistency proofs of systems such as Peano arithmetic.
* Gödel's completeness theorem states that first-order logic is complete.
# Søffren Degen

Søffren Degen (12 October 1816 – 17 July 1885) was a Danish classical guitarist and composer.
# Abbie Shadbolt

Albert "Abbie" Shadbolt (29 May 1887 – 13 July 1971) was a New Zealand rugby union and professional rugby league footballer who played representative rugby league (RL) for New Zealand.

## Early life

Albert Edward Shadbolt was born on 28 May 1887 in Whanganui. His father was also named Albert Edward Shadbolt and his mother was Jessie McIntosh. His father was on the Foxton Borough Council in the early part of the century and stood for mayor in 1907. he had originally been from Akaroa, in Canterbury before moving to Wellington where he learned the butchery trade and opened a butchery in Foxton. He sold this business in 1906 and bought the Manawatu Hotel. Albert senior was heavily involved in sports, particularly the New Zealand Athletic Association which he was vice-president of.

## Playing career

Shadbolt originally began playing rugby in the Wellington area. He played for Athletic in the 1908 season and made the Wellington side after being selected for the Wellington B team prior but not being able to play. He played in matches against Canterbury, Manawatu, Taranaki, and Otago. In the 1909 season he switched to the Poneke club and was selected to play for Wellington against Wanganui but was transferred to Christchurch for work prior to the game. After he moved to Christchurch he joined the Merivale club. There he was alongside fellow future New Zealand rugby league international Bill Mitchell. He represented Canterbury XV in 1909 and 1910.
In 1912 Shadbolt switched codes and was part of the first ever Canterbury rugby league side. Canterbury went down 4–5 to Wellington on 7 September.
In 1913 Shadbolt played for St Albans in the new Canterbury Rugby League competition and again played for Canterbury. He was selected in the New Zealand side that toured Australia and played against New South Wales during the season. He didn't play for several years but resumed playing in 1920 when he joined the Federal club, and he played for Canterbury in the same season. In 1921 Shadbolt toured Australia for New Zealand under coach Jim Rukutai.
After retirement Shadbolt served as a referee.

## Personal life

He married Eleanor Kermode Radcliffe on 11 January 1911. They had 5 children: Verona Althea (b.1911), Rawene (b.1914), Christina Eileen (b.1915), Peggie (b.1919), and Owen Radcliffe (b.1921). He separated from his wife and remarried in 1926 to Catherine Gertrude Thomas. Albert died in 1971 in Trentham, Upper Hutt.
# Heydarabad-e Baba Monir

Heydarabad-e Baba Monir (Persian: حيدرابادبابامنير, also Romanized as Ḩeydarābād-e Bābā Monīr; also known as Ḩeydarābād) is a village in Doshman Ziari Rural District, Doshman Ziari District, Mamasani County, Fars province, Iran. At the 2006 census, its population was 23, in 4 families.
# Vila União (São Paulo Metro)

Vila União is a monorail station of São Paulo Metro in Brazil. It belongs to Line 15-Silver, which is actually in expansion, and should go to Cidade Tiradentes, with connection with Line 2-Green in Vila Prudente. It is placed in Av. Prof. Luis Inácio de Anhaia Mello, next to Avenida Casa Grande.
It was opened by the Government of the State of São Paulo on April 6, 2018.

## Station layout

| P Platform level |
| P Platform level | Westbound | ← toward Vila Prudente |
| P Platform level | Island platform, doors open on the left |
| P Platform level | Eastbound | toward São Mateus → |
| M | Mezzanine | Fare control, ticket office, customer service, Bilhete Único/BOM recharge machines |
| G | Street level | Exit/entrance |
# John O. Rudene

John Oscar Rudene (August 1850 – December 30, 1930) was an American politician in the state of Washington. He served in the Washington House of Representatives. Rudene Road in Mount Vernon is named after him.
# Chinatsu Mori

Chinatsu Mori (森 千夏, Mori Chinatsu) (May 20, 1980 in Edogawa, Tokyo – August 9, 2006 in Tokyo) was a Japanese shot putter. Her personal best throw is 18.22 metres, achieved in April 2004 in Hamamatsu. This is the current Japanese record.
She won the silver medal at the 2000 Asian Championships and the bronze medal at the 2003 Asian Championships. In addition she competed at the 2003 World Championships and the 2004 Olympic Games without reaching the final round. Mori died of appendix cancer on August 9, 2006, aged 26.

## International competitions

Representing  Japan :
| Year | Competition | Venue | Position | Notes |
| 1999 | Asian Junior Championships | Singapore | 3rd | 15.06 m |
| 2000 | Asian Championships | Jakarta, Indonesia | 2nd | 16.38 m |
| 2002 | Asian Games | Busan, South Korea | 5th | 16.93 m |
| 2003 | World Championships | Paris, France | 20th (q) | 16.86 m |
| 2003 | Asian Championships | Manila, Philippines | 3rd | 17.80 m |
| 2004 | Olympic Games | Athens, Greece | 31st | 15.86 m |
# Michael Waller Robinson

Michael Waller Robinson (October 13, 1837 – July 23, 1912) was an American lawyer, educator, and politician from Missouri. Graduating from Yale University at the age of nineteen, Robinson taught at Baptist State College, where he became college president in 1860. He attended Harvard Law School then successfully ran for a seat in the Missouri House of Representatives. After attending the 1864 Democratic National Convention as a delegate, Robinson decided to move to Chicago, Illinois and became a prominent lawyer there. He served two terms in the Illinois Senate in the 1870s.

## Biography

Michael Waller Robinson was born in Fulton, Missouri on October 13, 1837. During his youth, he attended school and worked on the family farm. He attended preparatory school at Fulton College and then Georgetown College in Georgetown, Kentucky. He was admitted to Yale University in New Haven, Connecticut. He graduated with honors in 1857 at the age of nineteen.
Returning to Missouri, he was appointed Professor of Greek and Latin at Baptist State College in Liberty. He taught for three years, assuming the presidency of the institution during the last year. In his free time, Robinson studied law under Alexander William Doniphan. Robinson matriculated at the Harvard Law School in Cambridge, Massachusetts, graduating in 1861. Robinson again returned to Missouri, now practicing law in Fulton with future Missouri Attorney General John A. Hockaday. In 1862, he was elected to the Missouri House of Representatives for a two-year term. In 1864, during the Civil War, he was arrested and held as a military prisoner for several months.
Upon his release, Robinson was named a delegate to the 1864 Democratic National Convention in Chicago, Illinois. He was impressed with the city and decided to re-locate there. Robinson became a leading lawyer there, partnering at times with Lambert Tree and John V. Le Moyne. He settled in Lake View, Illinois in 1870 and served several terms at town attorney. He was elected to the Illinois Senate in 1874, serving two two-year terms. Robinson was named president of the Democratic State Convention upon expiration of his second term. Upon the annexation of Lake View to Chicago in 1889, Robinson was named assistant counsel to Chicago. He later served as special assessment attorney for the city. In his later years, he focused on real estate investments.
Robinson married Leonora C. Paddock on December 23, 1866. They had four sons and two daughters: Walter B., Harbert B., Harold H. Ethel G. and Florence C. Robinson was a Baptist. He died in Chicago on July 23, 1912, and was buried in Graceland Cemetery.
# Deon Muir

Deon David Muir (born 13 May 1973) is a New Zealand former professional rugby union player.

## Biography

Muir was born in Rotorua and educated at St Stephen's School outside Auckland.

### Rugby career

A number eight, Muir led the Chiefs during the 2001 and 2002 Super 12 seasons, earning New Zealand rugby's "Super 12 Player of the Year" award for his captaincy efforts in his first year in charge. He spent his entire provincial career with Waikato and was captain for part of their 21 successive Ranfurly Shield defences. In 2002, Muir became the 20th Waikato player to reach 100 games in their NPC semi-final win over Otago, then left at the season's end to play rugby with Japanese club Sanix. He played seven years with the Fukuoka-based club before retiring in 2008.
# Chaurpati Rural Municipality

Chaurpati (Nepali: चौरपाटी ) is a Gaupalika(Nepali: गाउपालिका ; gaupalika) in Achham District in the Sudurpashchim Province of far-western Nepal. Chaurpati has a population of 25149.The land area is 182.16 km$^2$.
It was formed by merging Siudi, Sokot, Payal, Lunnga, Marku and Duni VDSs. Currently, it is divided into 7 administrative wards.

## Demographics

At the time of the 2011 Nepal census, Chaurpati Rural Municipality had a population of 25,215. Of these, 96.7% spoke Achhami, 1.9% Nepali, 1.1% Doteli, 0.1% Magar, 0.1% Maithili, 0.1% Santali and 0.1% other languages as their first language.
In terms of ethnicity/caste, 62.4% were Chhetri, 21.5% other Dalit, 6.9% Kami, 4.5% Hill Brahmin, 2.1% Thakuri, 1.5% Damai/Dholi, 0.5% Badi, 0.3% Lohar, 0.1% Kalwar, 0.1% Magar, 0.1% Tamang and 0.2% others.
In terms of religion, 99.8% were Hindu, 0.1% Buddhist and 0.1% Christian.
In terms of literacy, 50.2% could read and write, 4.5% could only read and 45.3% could neither read nor write.
# Look Integral

The Look Integral was a downhill ski binding that worked in conjunction with a custom ski boot made by Nordica. The Integral was fairly common in ski rental shops in the 1980s and into the 90s, but has since disappeared.
Conventional ski bindings attach to flanges extending from the toe and heel of the ski boot. These are well-standardized in size and shape, under ISO 5355. However, as they are attached to the ends of the boots, the distance from the toe to heel changes from boot to boot. This requires the binding system to have the ability to move fore and aft on the ski to accommodate different sized boots.
The "Integral system" moved these flanges to a small extension on the bottom of the sole of the boot. This extension was always the same size, so the Integral binding did not have to be adjusted for different sized ski boots. The system was designed for rental shops, eliminating the constant adjustments otherwise needed.
Integral was offered since 1975 in Europe. In North America, Spademan offered a system with similar advantages that controlled the market. When Spademan failed, Integral moved in to replace them. During this introduction, Dynamic Skis also produced a small run of Look-branded skis to go with the package.
Modern conventional bindings have greatly reduced the need for solutions like the Integral. Most bindings now have easy-to-adjust sizing based on a lever that locks into a rack plate on the ski. Others use a rack and pinion arrangement that moves the toe and heel bindings by the same amount by turning a single screw.
# Jamie Borger

Jamie Borger (born 28 May 1964) is a Swedish drummer who has played in the bands Talisman, Treat and Last Autumn's Dream. Over the years, he also has recorded with Alfonzetti, Adam Thompson, Baltimore, Human Clay, Swedish Erotica and Jeff Scott Soto.
He also be involved several unreleased groups like The Three Kings with Jeff Scott Soto and Swedish guitar player Goran Elmquist. A couple of their demos ("As I Do To You" and "This Ain't the Love") were used by Jeff Scott Soto on his Believe in Me E.P.
His musical influences include: Mick Tucker, Ian Paice, Bobby Rondinelli and Jeff Porcaro.
He is sponsored by Sonor Drums and Zildjian.

## Discography
### with Talisman

* Humanimal Part II - 1994
* Humanimal - 1994
* Five out of Five (Live in Japan) - 1994
* Life - 1995
* Best of... (compilation, different from above) - 1996
* BESTerious (compilation) - 1996
* Truth - 1998
* Cats and Dogs - 2003
* Five Men Live - 2005
* 7 - 2006

### CD singles edited with Talisman

* All + All (CD single) (1994)
* Todo y Todo (CD single) (All + All Latin American market release under nickname Genaro) (1994)
* Colour My XTC (CD single) (1994)
* Doing Time With My Baby (CD single) (1994)
* Frozen (CD single) (1995)
* Crazy (CD single) (1998)

### with Last Autumn's Dream

* 2005 - II
* 2006 - Winter in Paradise
* 2007 - Saturn Skyline
* 2007 - Impressions: The Very Best of LAD (Japanese market)
* 2007 - Hunting Shadows
* 2008 - Live in Germany 2007
* 2008 - Impressions: The Very Best of LAD (German market)
* 2009 - Dreamcatcher

### with Treat

* 1987 - Dreamhunter
* 1989 - Treat (UK compilation)
* 1989 - Organized Crime
* 1992 - Treat
* 2006 - Weapons of Choice 1984-2006
* 2008 - Scratch and Bite (Remaster) + Live at FireFest DVD
* 2010 - Coup De Grace
* 2016 - Ghost of Graceland

### with Human Clay

* 1997 - u4ia
* 2005 - Closing the Book (remaster)

### with Jeff Scott Soto

* 2002 - Believe in Me E.P.
* 2004 - Lost in the Translation
* 2006 - Essential Ballads
* 2012 - Damage Control

### with Alfonzetti

* 2000 - Ready
* 2002 - Machine

### with Swedish Erotica

* 1985 - Blindman's Justice

### with Baltimoore

* 1992 - Double Density

### Other recordings

* 2000 - Various Artist - A Tribute to Grand Funk Railroad
# John Pareanga (rugby union)

Little John Te Akatutu Pareanga (born 14 February 1983) is a New Zealand former professional rugby union player.
Originally from Rarotonga in the Cook Islands, Pareanga attended Rotorua Boys' High School and played in their under-15s, before finishing his education at Te Kuiti High School, from where he earned New Zealand Schools representative honours. He won junior World Cups with New Zealand Under-19s and New Zealand Colts.
Pareanga competed as a hooker with the Bay of Plenty from 2005 to 2012, making 71 appearances. He featured twice for the Chiefs during the 2004 Super 12 season while Tom Willis was out with injury. Used off the bench, Pareanga played against Cats at Ellis Park and Stormers at Waikato Stadium, until being sidelined by an injury to his ankle.
# Jesse Parete

Jesse Parete (born 20 April 1993) is a New Zealand rugby union player for the Highlanders in Super Rugby. His position is in the back row. He also plays for the New England Free Jacks in Major League Rugby (MLR) in the United States.
Parete made his Super Rugby debut vs the Jaguares in Round 12, scoring a try in the final minutes of the match.
# Saetbyoul Middle School

37°22′7.151″N 127°7′45.102″E﻿ / ﻿37.36865306°N 127.12919500°E﻿ / 37.36865306; 127.12919500 Saetbyoul Middle School (Korean: 샛별중학교) is a public middle school located in Bundang-gu, Seongnam-si, Gyeonggi Province in South Korea. It was established in 2008.

## Uniforms

The dongbok (worn in the colder seasons) is a red stripe blouse with a red plaid skirt for girls, and a blue striped blouse and navy pants for boys. There is a white vest with the Saetbyoul logo and a gray jacket for both genders. The habok(worn in the warmer months) is made up of a white shirt with a blue plaid tie and a blue plaid skirt for girls, and a white shirt with no tie and navy pants for boys. There is also a cardigan, that can be worn at any time.

## Facilities

There are over 20 classrooms, and many special classrooms, including two science labs, an English Zone, a gym, a computer lab, an art room, a musical room, a tiny field, and a cafeteria which is unusual in Korean schools.
# Gogoliner Schichten Formation

The Gogoliner Schichten Formation is a geologic formation in Germany. It preserves fossils dating back to the Triassic period.
# Douglass Sullivan-Gonzalez

Douglass Sullivan-Gonzalez (born 1956) is a researcher, writer, and professor of Central American history, particularly in the 19th century. He is the author of Piety, Power and Politics: Religion and National Formation in Guatemala, 1821-1871. He co-edited, with Charles Reagan Wilson, The South and the Caribbean (University Press of Mississippi, 2001).

## Career

Sullivan-Gonzalez became an associate professor in the College of Liberal Arts at the University of Mississippi in 1993. He was a visiting professor at Tulane University from 1999 to 2000. In 2002, he was appointed interim dean of the Sally McDonnell Barksdale Honors College, later being promoted to the permanent position in 2003. He held this position until 2021. Under his tenure, the size of the Honors College student body had quadrupled.

## Publications

* Rivas, Edelberto Torres (1993). History and Society in Central America. Translated by Sullivan-Gonzalez, Douglass. Austin, Texas: University of Texas Press. ISBN 9780292781313.
* Sullivan-Gonzalez, Douglass (1998). Piety, Power, and Politics: Religion and Nation Formation in Guatemala, 1821–1871. Pittsburgh, Pennsylvania: University of Pittsburgh Press. ISBN 9780822940579.
* Sullivan-Gonzalez, Douglass; Wilson, Charles Reagan, eds. (2001). The South and the Caribbean. Oxford, Mississippi: University Press of Mississippi. ISBN 9781934110379.
* Sullivan-Gonzalez, Douglass (2016). The Black Christ of Esquipulas: Religion and Identity in Guatemala. Lincoln, Nebraska: University of Nebraska Press. ISBN 9780803280946.
# Greg Smith (rugby union, born 1974)

Gregory James Smith (born 14 July 1974) is a former professional rugby union footballer, who played as a hooker.

## Career

Smith was born and raised in New Zealand but he qualified to play for Fiji because his father was born there. He was first selected for Fiji by former coach Brad Johnstone on the recommendation of Waikato's John Boe.
He toured the UK with the Fiji team in 1995 and he made his debut against Wales which Fiji lost by 21–22. He joined the Waikato Rugby Union after that and he made it into the Chiefs squad for the Super 12 competition. He played for the Chiefs for six years before leaving New Zealand and going to Europe to play for the Swansea club in Wales. He returned a year later to play in the NPC match against Auckland but lost in the final. A neck injury kept him out of the 2001 tour to Italy and France and then a foot injury saw him miss the 2003 Rugby World Cup qualifiers in June and July 2002 and he also missed the test against Australia and Argentina but he recovered in time for the 2003 Rugby World Cup and he was made captain of the Fiji team.
After retiring in 2005, he was made a resource coach for the Black Ferns, and was recently appointed as an assistant coach to Samoa. He has coached for nine years in Japan and held a number of provincial coaching roles including a specialist resource coach role for the Chiefs.
In December 2014, he was made the head coach for the Black ferns team through to the next Women's Rugby World Cup in 2017. Smith voluntarily stepped down as New Zealand women's head coach on 16 June 2015.

## Fiji Team

Smith also attended Waikato University from 1993–1996 and was friends with Robert Diver.
* Test debut: 1995 vs Wales in Cardiff
* 46 caps 1 try 5 pts (70 games 1 try)
# Toby Smith (rugby union)

Toby James Smith (born 10 October 1988) is a retired Australian rugby union player. He played prop for the Chiefs, Rebels and Hurricanes in Super Rugby, and for the Australian national rugby union team internationally.

## Playing career
### Waikato

Smith began his rugby career in New Zealand, debuting for ITM Cup team Waikato in 2008.

### Chiefs

Smith played for the Chiefs in Super Rugby between 2010 and 2013, helping the team win back-to-back Super Rugby titles in 2012 and 2013.

### Rebels & Wallabies

In 2014, Smith joined the Melbourne Rebels, and the Melbourne Rising of the National Rugby Championship. Smith was named in the Wallabies squad for the Rugby Championship in 2015, and was later named in the Wallabies' 31-man squad for the 2015 Rugby World Cup, despite being uncapped. On 5 September, he made his international debut coming off the bench against the United States in a Rugby World Cup Warm-up match. Smith notably appeared in the Wallabies' semi-final victory over Argentina, and received a silver medal after Australia's loss to the All Blacks in the final.

### Hurricanes

In 2018 Smith returned to New Zealand, this time playing for the Wellington Super Rugby side the Hurricanes.
Following the 2019 rugby season, Smith, aged 31, announced his retirement from the game due to issues with concussion.

## Super Rugby statistics

    As of 5 November 2017
| Season | Team | Games | Starts | Sub | Mins | Tries | Cons | Pens | Drops | Points | Yel | Red |
| 2010 | Chiefs | 6 | 3 | 3 | 273 | 1 | 0 | 0 | 0 | 5 | 0 | 0 |
| 2011 | Chiefs | 12 | 7 | 5 | 517 | 1 | 0 | 0 | 0 | 5 | 0 | 0 |
| 2012 | Chiefs | 8 | 4 | 4 | 384 | 1 | 0 | 0 | 0 | 5 | 0 | 0 |
| 2013 | Chiefs | 11 | 8 | 3 | 680 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 2014 | Rebels | 13 | 12 | 1 | 757 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 2015 | Rebels | 15 | 15 | 0 | 1054 | 1 | 0 | 0 | 0 | 5 | 0 | 0 |
| 2016 | Rebels | 14 | 14 | 0 | 966 | 1 | 0 | 0 | 0 | 5 | 0 | 0 |
| 2017 | Rebels | 8 | 7 | 1 | 498 | 1 | 0 | 0 | 0 | 5 | 0 | 0 |
| 2018 | Hurricanes | 13 | 13 | 0 | 705 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 2019 | Hurricanes | 8 | 7 | 1 | 427 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Total | Total | 108 | 70 | 18 | 6261 | 6 | 0 | 0 | 0 | 30 | 0 | 0 |
# Jonathan Taumateine

Jonathan Archie Taumateine (born 28 September 1996) is a professional rugby union player who plays as a scrum-half for Super Rugby club Moana Pasifika. Born in New Zealand, he represents Samoa at international level after qualifying on ancestry grounds.

## Club career

Taumateine signed with the Moana Pasifika for the 2022 Super Rugby Pacific season. His position of choice is scrum-half.

## International career

In July 2021, he was named in the Samoa squad for the July internationals. Taumateine made his international debut for Samoa on 10 July in a 42–13 win over Tonga.