Het onderwerp van dit onderzoek betreft zowel filosofische benaderingen van informele bewijsbaarheid als formele theorieën daarvoor. Ik zal de problemen onderzoeken waar de huidige theorieën mee kampen, inbegrepen hun gebrekkige filosofische motivering. Daarnaast zal ik de relatie onderzoeken tussen waarheidstheorieën en de notie van informele bewijsbaarheid. Ik zal een theorie ontwikkelen voor informele bewijsbaarheid die analoog is aan Kripkes waarheidstheorie.