Search this site
Skip to main content
Skip to navigation
FOUNDATIONAL MATHEMATICAL ADVENTURES
A new line of Definition of mathematics: Consequentialism
INFINITARY Stratification and Acyclicity
A new proof of the first Godel incompleteness theorem
Alternative proof of Godels first incompleteness theorem
Labeled Mereology
Logicism: Sets are Object Predicates
Mereological Basis of Set Theory
A little a head of ZF
A philosophical account on mathematics
About this site
Acyclic Comprehension
Acyclic formulas vs stratified formulas
Adventures in foundations
Cardinality beyond foundation and choice
Categories
Class-Set Theory
Closure principle
Collections and Sets
Complete arithmetic
Concatinative Set Theory
Container Theory
Describability
Dynamic Mereotopolgy
Dynamic Mereotopology2
Euclidean Geometry revisited
Extensive Labeled Mereology as foundation of class theory!
Extrapolation Principle
Finite axiomatization of NBG (VGB)
Finitization rule
FIRST ORDER LOGICISM
FLAT SET THEORY
Generalization Principle
Naive explanation
Generalization principle in Infinitary language
Graphical definition of the finite
Hereditary comprehension
Hereditary size sets in ZF
Hierarchy Theory
Hierarchy theory as FOUNDATION
INTERNAL STRATIFIED COMPREHENSION
Invariant Comprehension
Labeled Mereology
Limit type construction
LINKS
Links to some works of mine
Loop comprehension: a new criterion for set construction!
MATHEMATICS IS ANALYTIC
Mereological explication of Ackermann's set theory
Mereological Foundation of Set Theory
Mereological Logicism
MK+Ackermann in one theory
NEW FOUNDATIONS "NF"
Number-Set Theory
Old Webstie
One schema for all sets
Ordered Pairs
Parameter free Z & ZF
PHILOSOPHICAL ADVENTURES IN FOUNDATIONS (NAIVE THOUGHTS)
Predicative set theories
Reformulation of MK
Reformulation of Morse-Kelley set Theory
Set Diversity
Size notion
Stratified Higher order logic
Structure Theory
Structure Theory of Graphs
Structure theory on top of Mereology
The abstract nature of a relation
The Essence of Sets
The real world is INFINITE.
Theory of Definable Sets
Theory of Representation of Extensions
Theory of Sets and Classes
Transfer Principles
TYPE THEORY FOR SETS
Types
Underneath sets
Uniformity of representation of relation
Universal set theory
What are classes?
What is Mathematics?
ZF* Minus Extensionality
FOUNDATIONAL MATHEMATICAL ADVENTURES
A new proof of Godel's First incompleteness theorem
Godel.pdf
Google Sites
Report abuse
Page details
Page updated
Google Sites
Report abuse
Godel.pdfGodel.pdf